Skip to Main Content
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.
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on (Volume:41 , Issue: 2 )
Date of Publication: March 2011