Synthesis of liveness enforcing supervisory policies in Petri nets by stepwise refinement

N. Somnath, R. S. Sreenivas

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

Abstract

The refinement procedure of Suzuki and Murata [1] combines two Petri Nets (PNs) N1(m01) and N2(m02) in a prescribed manner to obtain a PN N3(m03). Under appropriate conditions, the liveness of the PNs N1(m01) and N2(m02) implies the liveness of the PN N3(m03). A PN that is not live, can be made live by a liveness enforcing supervisory policy (LESP). In this paper, we develop the results of Suzuki and Murata to yield a class of PNs for which an LESP for N3(m03) can be represented in terms of local-LESPs for N1(m01) and N2(m02).

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.
Pages529-534
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

    Fingerprint

Keywords

  • Discrete Event Systems
  • Petri Nets
  • Supervisory Control

ASJC Scopus subject areas

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

Cite this

Somnath, N., & Sreenivas, R. S. (2018). Synthesis of liveness enforcing supervisory policies in Petri nets by stepwise refinement. In Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017 (pp. 529-534). (Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017; Vol. 2018-February). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICIEA.2017.8282901