Comments on "deadlock prevention policy based on petri nets and siphons"

Zhiwu Li, Murat Uzam, Mengchu Zhou

Research output: Contribution to journalReview articlepeer-review

27 Scopus citations


A deadlock prevention policy for a class of Petri nets S3 PR was proposed. A liveness-enforcing Petri net supervisor could be obtained by adding monitors to the plant net model. The approach could generate a correct supervisor with more permissive behavior than the existing methods in Ezpeleta and Li and Zhou, where the same class of Petri nets were dealt with. The obtained additional monitors and related arcs were shown and the net supervisor produced was live with 12656 reachable states.

Original languageEnglish (US)
Pages (from-to)5253-5254
Number of pages2
JournalInternational Journal of Production Research
Issue number24
StatePublished - Dec 15 2004

All Science Journal Classification (ASJC) codes

  • Strategy and Management
  • Management Science and Operations Research
  • Industrial and Manufacturing Engineering


Dive into the research topics of 'Comments on "deadlock prevention policy based on petri nets and siphons"'. Together they form a unique fingerprint.

Cite this