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

Zhiwu Li; Murat Uzam; Mengchu Zhou

doi:10.1080/00207540412331330822

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

Zhiwu Li, Murat Uzam, Mengchu Zhou

Electrical and Computer Engineering

Research output: Contribution to journal › Review article › peer-review

27 Scopus citations

Abstract

A deadlock prevention policy for a class of Petri nets S³ 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 language	English (US)
Pages (from-to)	5253-5254
Number of pages	2
Journal	International Journal of Production Research
Volume	42
Issue number	24
DOIs	https://doi.org/10.1080/00207540412331330822
State	Published - Dec 15 2004

All Science Journal Classification (ASJC) codes

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

Access to Document

10.1080/00207540412331330822

Cite this

@article{409b6ec5034040b1b83624b875685083,

title = "Comments on {"}deadlock prevention policy based on petri nets and siphons{"}",

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.",

author = "Zhiwu Li and Murat Uzam and Mengchu Zhou",

note = "Funding Information: This work was supported by Natural Science Foundation of China under Grant No. 60474018.",

year = "2004",

month = dec,

day = "15",

doi = "10.1080/00207540412331330822",

language = "English (US)",

volume = "42",

pages = "5253--5254",

journal = "International Journal of Production Research",

issn = "0020-7543",

publisher = "Taylor and Francis Ltd.",

number = "24",

}

TY - JOUR

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

AU - Li, Zhiwu

AU - Uzam, Murat

AU - Zhou, Mengchu

N1 - Funding Information: This work was supported by Natural Science Foundation of China under Grant No. 60474018.

PY - 2004/12/15

Y1 - 2004/12/15

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=10444263058&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=10444263058&partnerID=8YFLogxK

U2 - 10.1080/00207540412331330822

DO - 10.1080/00207540412331330822

M3 - Review article

AN - SCOPUS:10444263058

SN - 0020-7543

VL - 42

SP - 5253

EP - 5254

JO - International Journal of Production Research

JF - International Journal of Production Research

IS - 24

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this