Transactions on petri nets and other models of concurrency