Text this: Transactions on petri nets and other models of concurrency IV