Abstract
References [1], [2] provide the theoretical underpinnings for the synthesis of a minimally restrictive, liveness enforcing supervisory policy (LESP) for ordinary Free-Choice Petri nets (FCPNs), and a class of general FCPNs. The observations in these references apply equally to other families of PNs that satisfy the property that the existence of an LESP for a member of the family implies that there is an LESP whenever the same structure is initialized with a larger marking (eg. [3]). In this paper we present, after a fashion, the implementation details of the procedures outlined in references [1], [2] using an illustrative example. We refer the reader to [4] for additional details and examples.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
