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

Künye