Transactions on petri nets and other models of concurrency XIII. (2018)