Transactions on Petri Nets and Other Models of Concurrency XII - Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang (Springer, 2017)