Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets


UZAM M., Li Z., Abubakar U. S.

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, vol.54, no.15, pp.4634-4657, 2016 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 54 Issue: 15
  • Publication Date: 2016
  • Doi Number: 10.1080/00207543.2015.1098785
  • Journal Name: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.4634-4657
  • Keywords: flexible manufacturing system (FMS), liveness-enforcing supervisor, Petri nets, deadlock prevention, think globally act locally (TGAL), monitor, FLEXIBLE MANUFACTURING SYSTEMS, DEADLOCK PREVENTION POLICY, RESOURCE-ALLOCATION SYSTEMS, ELEMENTARY-SIPHONS, ITERATIVE SYNTHESIS, DEPENDENT SIPHONS, AVOIDANCE POLICIES, FEEDBACK-CONTROL, DESIGN, CONTROLLABILITY
  • Yozgat Bozok University Affiliated: No

Abstract

This paper, by using Petri nets (PNs), reports a general approach, called a think globally, act locally (TGAL) method, to compute liveness-enforcing supervisors (LES) for flexible manufacturing systems (FMSs) prone to deadlocks. A place called global sink/source place (GP) is introduced provisionally help us to decide a set of monitors such that deadlock states can be removed. The TGAL method proceeds with liveness enforcement by an iterative way in which a complete state enumeration is computed at each step. The resulting LES is generally maximally permissive or suboptimal, without solving intractable integer linear programming (ILP) problems. Given a system, a sufficient condition is developed to decide whether the TGAL method can find maximally permissive, that is, optimal supervisors. Several typical FMSs popularly studied in the literature are used as the examples to demonstrate the proposed method.