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

Basit Öğe Kaydı
dc.contributor.authorLi Z.
dc.contributor.authorUzam M.
dc.contributor.authorZhou M.
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2004
dc.departmentNiğde ÖHÜ
dc.description.abstractA 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.
dc.description.sponsorshipNational Natural Science Foundation of China
dc.description.sponsorshipThis work was supported by Natural Science Foundation of China under Grant No. 60474018.
dc.identifier.doi10.1080/00207540412331330822
dc.identifier.endpage5254
dc.identifier.issn0020-7543
dc.identifier.issue24
dc.identifier.startpage5253
dc.identifier.urihttps://dx.doi.org/10.1080/00207540412331330822
dc.identifier.urihttps://hdl.handle.net/11480/1298
dc.identifier.volume42
dc.identifier.wosWOS:000225687400010
dc.identifier.wosqualityQ2
dc.indekslendigikaynakWeb of Science
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.relation.ispartofInternational Journal of Production Research
dc.relation.publicationcategoryDiğer
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.titleComments on "deadlock prevention policy based on petri nets and siphons"
dc.typeReview Article

Dosyalar

Koleksiyon

Scopus İndeksli Yayınlar Koleksiyonu
WoS İndeksli Yayınlar Koleksiyonu