Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

Basit Öğe Kaydı
dc.authorid0000-0003-1547-5503
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, Murat
dc.contributor.authorLi, Zhiwu
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.abstractIn the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness enforcing supervisor (LES) is computed as a Petri net. A live Petri net (LPN) guarantees deadlock-free operations of the modeled FMS. An LES consists of a number of control places (CPs) and their related arcs. To-date most of the attention has been paid to make the underlying Petri net models live without questioning whether or not all of the computed CPs are necessary. It is often the case that the number of CPs determined by these approaches is not minimal. Reducing it in order to reduce the complexity of the controlled system is an important issue that was not tackled before. To address this problem, this paper proposes a redundancy test for an LES of an FMS. The proposed approach takes an LPN model, controlled by n CPs, as input and in the existence of any redundant CPs it produces redundant and necessary CPs. The proposed approach is applicable to any LPN consisting of a Petri net model (PNM), controlled by means of a set of CPs.
dc.identifier.doi10.1007/s00170-006-0701-5
dc.identifier.endpage168
dc.identifier.issn0268-3768
dc.identifier.issn1433-3015
dc.identifier.issue45323
dc.identifier.scopus2-s2.0-35348943472
dc.identifier.scopusqualityQ1
dc.identifier.startpage150
dc.identifier.urihttps://dx.doi.org/10.1007/s00170-006-0701-5
dc.identifier.urihttps://hdl.handle.net/11480/5340
dc.identifier.volume35
dc.identifier.wosWOS:000250242000014
dc.identifier.wosqualityQ4
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherSPRINGER LONDON LTD
dc.relation.ispartofINTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectdeadlock
dc.subjectdeadlock prevention
dc.subjectflexible manufacturing systems
dc.subjectliveness enforcing supervisor
dc.subjectpetri nets (PN)
dc.subjectredundancy test
dc.titleIdentification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS
dc.typeArticle

Dosyalar

Koleksiyon

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