Target-oriented Petri net synthesis
Target-oriented Petri Net Synthesis
scientific article; zbMATH DE number 7350061