An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, M
dc.contributor.authorZhou, MC
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2006
dc.departmentNiğde ÖHÜ
dc.description.abstractOur previous work presented a Petri net-based iterative synthesis policy for deadlock prevention in flexible manufacturing systems (FMS). Given the Petri net model of an FMS prone to deadlock, it aims to synthesize a live controlled Petri net. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. At each iteration, a first-met bad marking is singled out from the reachability graph of the Petri net. A well-established invariant-based control method is used to prevent it from being reached. This process is carried out until the net model becomes live. The method proposed is generally applicable, easy to use, effective, and straightforward, although its off-line computation is of exponential complexity. This paper presents two improvements: (a) using the Petri net reduction approach to simplify very large Petri net models so as to alleviate computation effort; and (2) simplifying the invariant-based control method. A number of FMS deadlock problems from the literature are used to illustrate them.
dc.identifier.doi10.1080/00207540500431321
dc.identifier.endpage2030
dc.identifier.issn0020-7543
dc.identifier.issue10
dc.identifier.scopus2-s2.0-33744982889
dc.identifier.scopusqualityQ1
dc.identifier.startpage1987
dc.identifier.urihttps://dx.doi.org/10.1080/00207540500431321
dc.identifier.urihttps://hdl.handle.net/11480/5517
dc.identifier.volume44
dc.identifier.wosWOS:000237065500007
dc.identifier.wosqualityQ2
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherTAYLOR & FRANCIS LTD
dc.relation.ispartofINTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectflexible manufacturing systems (FMS)
dc.subjectdeadlock
dc.subjectdeadlock prevention
dc.subjectPetri nets (PN)
dc.subjectPetri net model (PNM)
dc.subjectliveness enforcing supervisor
dc.titleAn improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
dc.typeArticle

Dosyalar

Koleksiyon

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