Transactions on petri nets and other models of concurrency XII. (2017)