A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems

S. Chandrasekaran, N. Somnath, R. S. Sreenivas

Research output: Contribution to journalArticle

Abstract

We consider liveness enforcing supervisory policies (LESPs) for a class of Petri net (PN) structures that model automated manufacturing systems that are prone to livelocks. This class is identified by the property that the existence of an LESP for an instance initialized with a marking implies the existence of an LESP when the same instance is initialized with a larger marking. If a minimally restrictive LESP prevents the occurrence of a transition at some marking for an instance, then every LESP for the instance should prevent the occurrence of the transition for the same marking. There is a unique minimally restrictive LESP for a PN that has an LESP. After reviewing the relevant theory, this paper describes the implementation details of a procedure for the automatic synthesis of the minimally restrictive LESP for any instance from the aforementioned class.

Original languageEnglish (US)
Pages (from-to)945-958
Number of pages14
JournalJournal of Intelligent Manufacturing
Volume26
Issue number5
DOIs
StatePublished - Oct 22 2015

Keywords

  • Automated manufacturing systems
  • Petri nets
  • Service enterprise systems
  • Supervisory control

ASJC Scopus subject areas

  • Software
  • Industrial and Manufacturing Engineering
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems'. Together they form a unique fingerprint.

  • Cite this