An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
Liang Li, Zhiwu Li, Jipeng Wang
Topics & Concepts
Petri netMutual exclusionComputer scienceSupervisorClass (philosophy)GraphControl (management)Interval (graph theory)State (computer science)Terminal (telecommunication)Distributed computingMathematical optimizationTheoretical computer scienceAlgorithmMathematicsArtificial intelligenceTelecommunicationsPolitical scienceLawCombinatoricsPetri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling