Transactions on Petri Nets and Other Models of Concurrency XIII
scientific article; zbMATH DE number 6983353