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