Necessary and sufficient conditions for resultant siphons to be controlled

Shou Guang Wang, Cheng Ying Wang, Meng Chu Zhou

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

4 Scopus citations


Based on key resource subsets, a necessary and sufficient condition is proposed under which a resultant siphon can be always marked if its strict minimal siphons (SMS) are optimally controlled. The proposed condition is established by analyzing the structural characteristics and markings of the resource subnets in a class of Petri nets called L-S3PR. When it is used in deadlock prevention policies, the number of monitors can be significantly reduced, thereby decreasing control implementation complexity and cost.

Original languageEnglish (US)
Title of host publicationProceedings of the 2011 American Control Conference, ACC 2011
Number of pages6
StatePublished - 2011
Event2011 American Control Conference, ACC 2011 - San Francisco, CA, United States
Duration: Jun 29 2011Jul 1 2011

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619


Other2011 American Control Conference, ACC 2011
Country/TerritoryUnited States
CitySan Francisco, CA

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering


  • Deadlock
  • Petri nets
  • manufacturing systems
  • siphon


Dive into the research topics of 'Necessary and sufficient conditions for resultant siphons to be controlled'. Together they form a unique fingerprint.

Cite this