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 (Journal Indexed in SCI) identifier identifier

  • Publication Type: Article / Article
  • Volume: 34 Issue: 6
  • Publication Date: 2017
  • Doi Number: 10.1108/ec-03-2016-0091
  • Title of Journal : ENGINEERING COMPUTATIONS
  • Page Numbers: pp.1896-1922

Abstract

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.