Transactions on petri nets and other models of concurrency III | lit.salon