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

UZAM M.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, cilt.19, sa.3, ss.192-208, 2002 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 19 Sayı: 3
  • Basım Tarihi: 2002
  • Doi Numarası: 10.1007/s001700200014
  • Dergi Adı: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.192-208
  • Anahtar Kelimeler: deadlock, flexible manufacturing systems (FMS), optimal deadlock prevention, Petri nets, Petri net synthesis, shared resources, PARTIAL SET 2-STRUCTURES, AVOIDANCE POLICY, GRAPH, RESOLUTION
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

In 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.