Reduction of constraints for controller synthesis based on safe Petri nets
scientific article; zbMATH DE number 5377208