Transactions on Petri Nets and Other Models of Concurrency IV - Jensen, Kurt (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency Ser.)