Merged processes: a new condensed representation of Petri net behaviour
scientific article; zbMATH DE number 5077603