@inproceedings{a846f285232343ac85c73340a8161bb3,
title = "Necessary and sufficient conditions for resultant siphons to be controlled",
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.",
keywords = "Deadlock, Petri nets, manufacturing systems, siphon",
author = "Wang, {Shou Guang} and Wang, {Cheng Ying} and Zhou, {Meng Chu}",
year = "2011",
language = "English (US)",
isbn = "9781457700804",
series = "Proceedings of the American Control Conference",
pages = "4484--4489",
booktitle = "Proceedings of the 2011 American Control Conference, ACC 2011",
note = "2011 American Control Conference, ACC 2011 ; Conference date: 29-06-2011 Through 01-07-2011",
}