Abstract
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.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call