Transactions on Petri Nets and Other Models of Concurrency IX.
scientific article; zbMATH DE number 6473866