Synthesis of controllers of processes modeled as colored Petri nets
scientific article; zbMATH DE number 1333017