Referenced Items are not available for this document.
A siphon-based algorithm for deadlock prevention of Petri nets called Algorithm H2 is proposed in the above paper. However, the illustrative examples for Algorithm H2 are incorrect because of the redundant weighted control (WC) places which control some marked siphons. This correspondence modifies the illustrative examples by removing the redundant control places and getting a maximally permissive control for the original net. As no WC place is presented in the modified examples, the examples cannot well illustrate Algorithm H2.
Published in:
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on
(Volume:41
,
Issue:
2
)
Date of Publication: March 2011
- Page(s):
- 338 - 340
- ISSN :
- 1083-4427
- INSPEC Accession Number:
- 11759215
- Digital Object Identifier :
- 10.1109/TSMCA.2010.2059698
- Product Type:
- Journals & Magazines
- Date of Publication :
- 23 August 2010
- Date of Current Version :
- 17 January 2011
- Issue Date :
- March 2011
- Sponsored by :
- IEEE Systems, Man, and Cybernetics Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
