The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, M
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2004
dc.departmentNiğde ÖHÜ
dc.description.abstractIn a flexible manufacturing system (FMS) with multiple products, deadlocks can arise due to limited shared resources, such as machines, robots, buffers, fixtures etc. The development of efficient deadlock prevention policies, which can optimise the use of system resources, while preventing deadlocks from occurring, has long been an important issue to be addressed. In [1], an optimal deadlock prevention policy was proposed, based on the use of reachability graph (RG) analysis of the Petri net model (PNM) of a given FMS and the synthesis of a set of new net elements, namely places with initial marking and related arcs, to be added to the PNM, using the theory of regions. The policy proposed in [1] is optimal in the sense that it allows the maximal use of resources in the system according to the production requirements. For very big PNMs, the reachability graph of the PNMs becomes very large and the necessary computations to obtain an optimal deadlock prevention policy become more difficult. In this paper, we propose the use of the Petri net reduction approach to simplify very big PNMs so as to make necessary calculations easily in order to obtain an optimal deadlock prevention policy for FMSs. An example is provided for illustration.
dc.identifier.doi10.1007/s00170-003-1526-5
dc.identifier.endpage219
dc.identifier.issn0268-3768
dc.identifier.issue45385
dc.identifier.scopus2-s2.0-1542713366
dc.identifier.scopusqualityQ1
dc.identifier.startpage204
dc.identifier.urihttps://dx.doi.org/10.1007/s00170-003-1526-5
dc.identifier.urihttps://hdl.handle.net/11480/5679
dc.identifier.volume23
dc.identifier.wosWOS:000188765000008
dc.identifier.wosqualityQ3
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthorUzam, M
dc.language.isoen
dc.publisherSPRINGER-VERLAG 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.subjectflexible manufacturing systems (FMS)
dc.subjectshared resources
dc.subjectdeadlock
dc.subjectoptimal deadlock prevention
dc.subjectPetri nets
dc.subjectPetri net synthesis
dc.titleThe use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems
dc.typeArticle

Dosyalar

Koleksiyon

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