The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems
Küçük Resim Yok
Tarih
2004
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
SPRINGER-VERLAG LONDON LTD
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
In 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.
Açıklama
Anahtar Kelimeler
flexible manufacturing systems (FMS), shared resources, deadlock, optimal deadlock prevention, Petri nets, Petri net synthesis
Kaynak
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
WoS Q Değeri
Q3
Scopus Q Değeri
Q1
Cilt
23
Sayı
45385