Siphon controllability definitions and issues

Dan You, Shou Guang Wang, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

Deadlocks are an extremely undesirable situation in resource allocation systems. Nowadays, siphon control, which is based on siphon controllability conditions, is one of the important methods to ensure that deadlocks never occur in systems. For ordinary Petri nets, the siphon controllability condition is well defined. However, it remains an open question for generalized Petri nets despite many attempts to define their siphon controllability conditions. In recent years, many such conditions have been proposed for them or their subclasses, but suffer from various problems. This paper surveys the existing siphon controllability conditions and then presents two new ones. All of them are compared in terms of their condition strictness, application scope and equivalence. Future research directions are also indicated.

Original languageEnglish (US)
Pages (from-to)2687-2696
Number of pages10
JournalZidonghua Xuebao/Acta Automatica Sinica
Volume40
Issue number12
DOIs
StatePublished - Dec 1 2014

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Information Systems
  • Computer Graphics and Computer-Aided Design

Keywords

  • Controllability
  • Liveness
  • Petri net
  • Siphon

Fingerprint Dive into the research topics of 'Siphon controllability definitions and issues'. Together they form a unique fingerprint.

Cite this