Necessary and sufficient conditions for resultant siphons to be controlled

Authors

Shou Guang Wang, Zhejiang Gongshang University
Cheng Ying Wang, Zhejiang Gongshang University
Meng Chu Zhou, Newark College of Engineering

Document Type

Conference Proceeding

Publication Date

9-29-2011

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-S³PR. When it is used in deadlock prevention policies, the number of monitors can be significantly reduced, thereby decreasing control implementation complexity and cost. © 2011 AACC American Automatic Control Council.

Identifier

80053139541 (Scopus)

ISBN

[9781457700804]

Publication Title

Proceedings of the American Control Conference

ISSN

07431619

First Page

4484

Last Page

4489

Recommended Citation

Wang, Shou Guang; Wang, Cheng Ying; and Zhou, Meng Chu, "Necessary and sufficient conditions for resultant siphons to be controlled" (2011). Faculty Publications. 11163.
https://digitalcommons.njit.edu/fac_pubs/11163