Email Record: Transactions on Petri nets and other models of concurrency IV /