Transactions on Petri nets and other models of concurrency. VI
scientific article; zbMATH DE number 6108598