An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions

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.issued2002
dc.departmentNiğde ÖHÜ
dc.description.abstractIn this paper, an optimal deadlock prevention policy for flexible manufacturing systems (FMSs) is proposed. In an FMS, deadlocks can arise because of a limited number of shared resources, i.e. machines, robots, buffers, fixtures etc. Deadlock is a highly undesirable situation, where each of a set of two or more jobs keeps waiting indefinitely for the other jobs in the set to release resources. The proposed optimal deadlock prevention policy is based on the use of reachability graph analysis of a Petri net model (PNM) of a given FMS and the synthesis of a set of not, net elements, namely places with initial marking and related arcs, to be added to the PNM, using the theory of regions, which is a formal synthesis technique to derive Petri nets from automaton-based models. The policy proposed is optimal in the sense that it allows the maximal use of resources in the system according to the production requirements. Two examples are provided for illustration.
dc.identifier.doi10.1007/s001700200014
dc.identifier.endpage208
dc.identifier.issn0268-3768
dc.identifier.issue3
dc.identifier.scopus2-s2.0-0036212723
dc.identifier.scopusqualityQ1
dc.identifier.startpage192
dc.identifier.urihttps://dx.doi.org/10.1007/s001700200014
dc.identifier.urihttps://hdl.handle.net/11480/5740
dc.identifier.volume19
dc.identifier.wosWOS:000174724700006
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.subjectdeadlock
dc.subjectflexible manufacturing systems (FMS)
dc.subjectoptimal deadlock prevention
dc.subjectPetri nets
dc.subjectPetri net synthesis
dc.subjectshared resources
dc.titleAn optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions
dc.typeArticle

Dosyalar

Koleksiyon

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