Transactions on Petri Nets and Other Models of Concurrency XI - Koutny, Maciej. Desel, Jorg. Kleijn, Jetty; Desel, Jörg; Kleijn, Jetty (Springer Berlin Heidelberg, 2016)