Transactions on Petri Nets and Other Models of Concurrency XI
scientific article; zbMATH DE number 6626580