Publication | Closed Access

An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

Mathematical ProgrammingPetri NetEngineeringReachability ProblemStochastic Petri NetFormal MethodsProcess ControlSystems EngineeringSupervisory ControlCombinatorial OptimizationControl StructureNon-blocking SupervisorsGeneralized Petri NetsOperations Research