Transactions on Petri Nets and Other Models of Concurrency VIII - Koutny, Maciej. (Springer Berlin Heidelberg,)