Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets

Controlled Petri nets;Supervisory policy for discrete systems;Liveness;livelock avoidance;Control invariance;Minimally restrictive

Chandrasekaran, Sangeetha ; Sreenivas ; Ramavarapu S.

关键词: Controlled Petri nets;    Supervisory policy for discrete systems;    Liveness;    livelock avoidance;    Control invariance;    Minimally restrictive;   

Others  :  https://www.ideals.illinois.edu/bitstream/handle/2142/42202/Sangeetha_Chandrasekaran.pdf?sequence=1&isAllowed=y

美国|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

Livelock avoidance is an essential requirement in Discrete-Event/Discrete-State (DEDS) systems. Everyevent of a live DEDS system can be executed at some instant in the future, irrespective of its past activities.When a DEDS system is in a livelock-state, some events will enter into a state of suspended animationfor perpetuity, while others proceed with no impediment. This report is about the automatic synthesis ofLiveness Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems.Past research has shown that the existence of an LESP in DEDS systems modeled by a class of generalFree-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to thepresence of a right-closed set of states that are control invariant with respect to the system. A minimallyrestrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary.This study describes an object-oriented implementation of the minimally restrictive supervisory policy for aclass of Petri nets for which this policy is decidable.