Necessary and sufficient conditions for resultant siphons to be controlled

Shou Guang Wang, Cheng Ying Wang, Mengchu Zhou

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

4 Scopus citations

Abstract

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
Pages4484-4489
Number of pages6
StatePublished - Sep 29 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

Other

Other2011 American Control Conference, ACC 2011
CountryUnited States
CitySan Francisco, CA
Period6/29/117/1/11

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

Keywords

  • Deadlock
  • Petri nets
  • manufacturing systems
  • siphon

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

Cite this