Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

Meng Qin, Zhiwu Li, Mengchu Zhou, Mohamed Khalgui, Olfa Mosbahi

Research output: Contribution to journalArticlepeer-review

21 Scopus citations

Abstract

This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.

Original languageEnglish (US)
Article number6135815
Pages (from-to)727-738
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume42
Issue number3
DOIs
StatePublished - May 2012

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Discrete event system
  • Petri net
  • flexible manufacturing system (FMS)
  • liveness constraint
  • siphon
  • uncontrollable and unobservable transition

Fingerprint Dive into the research topics of 'Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions'. Together they form a unique fingerprint.

Cite this