Diagnosability enforcement in labeled Petri nets using supervisory control
Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Topics & Concepts
Petri netSupervisorReachabilityDeadlockSupervisory controlComputer scienceAutomatonGraphControl (management)EnforcementLoop (graph theory)Theoretical computer scienceDistributed computingMathematicsCombinatoricsArtificial intelligencePolitical scienceLawPetri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems