Software-based synthesis of maximally permissive liveness enforcing supervisory policies for a class of general Petri nets

E. Salimi, N. Somnath, R. S. Sreenivas

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

Abstract

A Petri net (PN) N(m0) is live if all of its transitions are potentially fireable from every reachable marking. A PN that is not live can be made live by a liveness enforcing supervisory policy (LESP), which decides the set of transitions that are to be permitted at any given marking, such that the supervised-PN is live. We assume there are uncontrollable transitions that cannot be prevented by the LESP. An LESP is said to be maximally permissive, if the fact that it prevents the firing of a transition at a given marking, is sufficient to conclude that all other LESPs would prevent the firing of the same transition at the marking. If there is an LESP for a PN, there is a unique maximally permissive LESP. This paper is about the synthesis of the maximally permissive LESP for a class of PN models with the help of software tools. The paper concludes with a description of ongoing software development activities.

Original languageEnglish (US)
Title of host publicationProceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages429-434
Number of pages6
ISBN (Electronic)9781538621035
DOIs
StatePublished - Feb 5 2018
Event12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017 - Siem Reap, Cambodia
Duration: Jun 18 2017Jun 20 2017

Publication series

NameProceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017
Volume2018-February

Other

Other12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017
CountryCambodia
CitySiem Reap
Period6/18/176/20/17

ASJC Scopus subject areas

  • Control and Optimization
  • Electrical and Electronic Engineering
  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'Software-based synthesis of maximally permissive liveness enforcing supervisory policies for a class of general Petri nets'. Together they form a unique fingerprint.

Cite this