On near-optimal deadlock control for a class of generalized Petri nets using reachability graph

Hou Y., UZAM M., Zhao M., Li Z.

ENGINEERING COMPUTATIONS, vol.34, no.6, pp.1896-1922, 2017 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 34 Issue: 6
  • Publication Date: 2017
  • Doi Number: 10.1108/ec-03-2016-0091
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.1896-1922
  • Yozgat Bozok University Affiliated: No


Purpose - Deadlock is a rather undesirable phenomenon and must be well solved in flexible manufacturing systems (FMS). This paper aims to propose a general iterative deadlock control method for a class of generalized Petri nets (GPN), namely, G-systems, which can model an FMS with assembly and disassembly operations of multiple resource acquisition. When given an uncontrolled G-system prone to deadlocks, the work focuses on the synthesis of a near-optimal, non-blocking supervisor based on reachability graph (RG) analysis.