Deadlock control of concurrent manufacturing processes sharing finite resources

Li Z., UZAM M., Zhou M.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, cilt.38, ss.787-800, 2008 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 38
  • Basım Tarihi: 2008
  • Doi Numarası: 10.1007/s00170-007-1125-6
  • Dergi Adı: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.787-800
  • Anahtar Kelimeler: petri net, deadlock prevention, elementary siphon, dependent siphon, flexible manufacturing system, LIVENESS-ENFORCING SUPERVISORS, PETRI-NET MODELS, PREVENTION POLICY, ELEMENTARY SIPHONS, MERGED NETS, AVOIDANCE, SYSTEMS, RESOLUTION, FMS
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

A novel deadlock control policy is developed for modeling the concurrent execution of manufacturing processes with limited shared resources through a class of nets, (ESPR)-P-3. A relevant property of the system behavior is that it is deadlock-free. Recent work has shown that deadlock situations in a plant system can be easily characterized by the structural analysis of the system, particularly, in terms of unmarked or insufficiently marked siphons in its Petri net model. The strict minimal siphons in a plant (ESPR)-P-3 net model are divided into elementary and dependent ones. The proposed deadlock prevention policy is to make all siphons satisfy maximal cs-property when the elementary siphons in the plant Petri net model are properly supervised via explicitly adding monitors for them with appropriate initial markings. Compared with the existing approaches in the literature, the advantage of the policy is that a much smaller number of supervisory places (monitors) are added and unnecessary iterative processes are avoided. Finally, its application is illustrated by a flexible manufacturing example.