Transactions on Petri Nets and Other Models of Concurrency VII
scientific article; zbMATH DE number 6158275