An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, Murat
dc.contributor.authorZhou, MengChu
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2007
dc.departmentNiğde ÖHÜ
dc.description.abstractThis paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize a live controlled PNM. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. The proposed method is an iterative approach. At each iteration, a first-met bad marking is singled out from the reachability graph of a given PNM. The objective is to prevent this marking from being reached via a place in variant of the PN. A well-established invariant-based control method is used to derive a control place. This process is carried out until the net model becomes live. The proposed method is generally applicable, easy to use, effective, and straightforward although its off-line computation is of exponential complexity. Two FMS are used to show its effectiveness and applicability.
dc.identifier.doi10.1109/TSMCA.2007.893484
dc.identifier.endpage371
dc.identifier.issn1083-4427
dc.identifier.issue3
dc.identifier.scopus2-s2.0-34247199855
dc.identifier.scopusqualityN/A
dc.identifier.startpage362
dc.identifier.urihttps://dx.doi.org/10.1109/TSMCA.2007.893484
dc.identifier.urihttps://hdl.handle.net/11480/5389
dc.identifier.volume37
dc.identifier.wosWOS:000246034500008
dc.identifier.wosqualityQ2
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherIEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
dc.relation.ispartofIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectdeadlock
dc.subjectdeadlock prevention
dc.subjectflexible manufacturing systems (FMS)
dc.subjectPetri net (PN)
dc.subjectreachability analysis
dc.titleAn iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
dc.typeArticle

Dosyalar

Koleksiyon

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