(Lecture Notes in Computer Science _ Transactions on Petri Nets and Other Models of Concurrency) Kurt Jensen, Susanna Donatelli, Maciej Koutny-Transactions on Petri Nets and Other Models of Concurrenc.pdf