An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems

UZAM M., Zhou M.

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, cilt.37, sa.3, ss.362-371, 2007 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 37 Sayı: 3
  • Basım Tarihi: 2007
  • Doi Numarası: 10.1109/tsmca.2007.893484
  • Dergi Adı: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.362-371
  • Anahtar Kelimeler: deadlock, deadlock prevention, flexible manufacturing systems (FMS), Petri net (PN), reachability analysis, AUTOMATED GUIDED VEHICLES, SUPERVISORY CONTROL, AVOIDING DEADLOCK, FEEDBACK-CONTROL, AVOIDANCE, SIPHONS, RESOLUTION, RESOURCES, BLOCKING, MODELS
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize a live controlled PNM. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. The proposed method is an iterative approach. At each iteration, a first-met bad marking is singled out from the reachability graph of a given PNM. The objective is to prevent this marking from being reached via a place in variant of the PN. A well-established invariant-based control method is used to derive a control place. This process is carried out until the net model becomes live. The proposed method is generally applicable, easy to use, effective, and straightforward although its off-line computation is of exponential complexity. Two FMS are used to show its effectiveness and applicability.