Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

Basit Öğe Kaydı
dc.authorid0000-0002-2780-3386en_US
dc.contributor.authorUzam, Murat
dc.contributor.authorGelen, Gökhan
dc.contributor.authorSaleh, Tahir Lawan
dc.date.accessioned2021-03-20T20:14:26Z
dc.date.available2021-03-20T20:14:26Z
dc.date.issued2016
dc.departmentBTÜ, Mühendislik ve Doğa Bilimleri Fakültesi, Mekatronik Mühendisliği Bölümüen_US
dc.description.abstractThis paper proposes a general approach, called a think-globally-act-locally method with weighted arcs (TGALW), which can be used to compute a liveness-enforcing supervisor (LES) for the Petri net (PN) model of a flexible manufacturing system (FMS) prone to deadlocks. Compared with siphon-based deadlock prevention policies that are usually rather conservative, the method is especially effective for generalized PN classes such as (SR)-R-4 and (SPR)-P-4 and also leads to optimal or near optimal LESS while maintaining the necessary computations simple. An original PNM is first transformed into a net that is behaviorally equivalent to it. A global sink/source place (GP) is used temporarily in the design steps and is finally removed when the liveness of the system is achieved. At each iteration step, bad markings are identified and then controlled by monitors through an established place-invariant based method. A condition of the optimal controllability of a bad marking is proposed, i.e., if all bad markings are optimally controlled at each iteration step, the TGALW method can find an optimal LES. Redundancy of monitors is checked. Typical examples existing in the literature are used to demonstrate applicability and the effectiveness of the proposed method. (C) 2015 Elsevier Inc. All rights reserved.en_US
dc.description.sponsorshipresearch grant of the Scientific and Technological Research Council of Turkey (Turkiye Bilimsel ve Teknolojik Arastirma Kurumu-TUBITAK) [TUBITAK-112M229]en_US
dc.description.sponsorshipThis work was supported by the research grant of the Scientific and Technological Research Council of Turkey (Turkiye Bilimsel ve Teknolojik Arastirma Kurumu-TUBITAK) under the project number TUBITAK-112M229.en_US
dc.identifier.doi10.1016/j.ins.2015.09.010en_US
dc.identifier.endpage260en_US
dc.identifier.issn0020-0255
dc.identifier.issn1872-6291
dc.identifier.scopusqualityQ1en_US
dc.identifier.startpage235en_US
dc.identifier.urihttp://doi.org/10.1016/j.ins.2015.09.010
dc.identifier.urihttps://hdl.handle.net/20.500.12885/1051
dc.identifier.volume363en_US
dc.identifier.wosWOS:000379280700016en_US
dc.identifier.wosqualityQ1en_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.institutionauthorGelen, Gökhan
dc.language.isoenen_US
dc.publisherElsevier Science Incen_US
dc.relation.ispartofInformation Sciencesen_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectDiscrete event systemen_US
dc.subjectPetri neten_US
dc.subjectFlexible manufacturing systemen_US
dc.subjectDeadlocken_US
dc.subjectLiveness enforcingen_US
dc.titleThink-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSsen_US
dc.typeArticleen_US

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu