Published January 1, 2016
| Version v1
Journal article
Open
Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets
- 1. Bolumu Meliksah Univ, Muhendisl Mimarl Fak Elekt Elekt Muhendisligi, Kayseri, Turkey
Description
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.
Files
bib-e4aea7ce-4976-4ffa-a8e2-ceabb8fe1400.txt
Files
(222 Bytes)
| Name | Size | Download all |
|---|---|---|
|
md5:c1873823892526d0ae092b6726641341
|
222 Bytes | Preview Download |