Comment on "On Siphon Computation for Deadlock Control in a Class of Petri Nets
Huixia Liu, Keyi Xing, Song Gao · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2009
It was claimed recently in the paper by Li and Zhou that ldquoa polynomial time algorithm for finding the set of elementary siphons in S3PRs is proposed, which avoids complete siphon enumerationrdquo. However, this is incorrect because Proposition 1 and Corollary 6 of the aforementioned paper, which lead to the claim, are both incorrect. In this correspondence paper, Proposition 1 and Corollary 6 are disproved. As a consequence, some claims of the aforesaid paper are denied. Two examples are presented to disprove some claims of the previously mentioned paper.