On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets

S. Chandrasekaran, R. S. Sreenivas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publication2013 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013
Pages392-397
Number of pages6
DOIs
StatePublished - Aug 14 2013
Event2013 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013 - Evry, France
Duration: Apr 10 2013Apr 12 2013

Publication series

Name2013 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013

Other

Other2013 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013
CountryFrance
CityEvry
Period4/10/134/12/13

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets'. Together they form a unique fingerprint.

Cite this