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

Zhiwu Li, Murat Uzam, Mengchu Zhou

Research output: Contribution to journalReview articlepeer-review

26 Scopus citations

Abstract

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
Volume42
Issue number24
DOIs
StatePublished - Dec 15 2004

All Science Journal Classification (ASJC) codes

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

Fingerprint 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