Deadlock control of concurrent manufacturing processes sharing finite resources

Zhiwu Li, Murat Uzam, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

25 Scopus citations


A novel deadlock control policy is developed for modeling the concurrent execution of manufacturing processes with limited shared resources through a class of nets, ES3PR. 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 ES3PR 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.

Original languageEnglish (US)
Pages (from-to)787-800
Number of pages14
JournalInternational Journal of Advanced Manufacturing Technology
Issue number7-8
StatePublished - Sep 2008

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Software
  • Mechanical Engineering
  • Computer Science Applications
  • Industrial and Manufacturing Engineering


  • Deadlock prevention
  • Dependent siphon
  • Elementary siphon
  • Flexible manufacturing system
  • Petri net


Dive into the research topics of 'Deadlock control of concurrent manufacturing processes sharing finite resources'. Together they form a unique fingerprint.

Cite this