On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach


Bashir M., Li Z., UZAM M. , Wu N., Al-Ahmari A.

IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, vol.35, no.4, pp.1217-1249, 2018 (Journal Indexed in SCI) identifier

  • Publication Type: Article / Article
  • Volume: 35 Issue: 4
  • Publication Date: 2018
  • Doi Number: 10.1093/imamci/dnx024
  • Title of Journal : IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION
  • Page Numbers: pp.1217-1249
  • Keywords: deadlock, flexible manufacturing system (FMS), liveness-enforcing supervisor, Petri net, DEADLOCK PREVENTION POLICY, ELEMENTARY SIPHONS, DEPENDENT SIPHONS, AVOIDANCE, CONTROLLERS, DESIGN, FMS, CONTROLLABILITY, IDENTIFICATION, CONSTRAINTS

Abstract

A deluge of studies has been carried out on deadlock prevention and liveness enforcement for flexible manufacturing systems (FMSs). This paper reports an algebraic procedure to find a set of merged place invariants, aiming to reduce the structural complexity of a liveness-enforcing Petri net supervisor for an FMS. Firstly, given an uncontrolled Petri net model, a set of control places as well as their corresponding place invariants are computed by using the existing methods. A systematic approach is developed to find a set of merged place invariants that are much more compact than the original supervisor structure, which remarkably reduces the number of control places in a liveness-enforcing Petri net supervisor for an FMS. The structurally reduced supervisor provides the same or more permissive behavior than that of an original one. As an algebraic approach, the proposed method is computationally trivial and is applicable to all manufacturing-oriented Petri net classes currently available in the literature. Several typical manufacturing examples are used to demonstrate the approach reported in this research.