A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

Murat Uzam (), ZhiWu Li (), Gökhan Gelen () and Rabiu Saleh Zakariyya
Additional contact information
Murat Uzam: Meliksah Universitesi Muhendislik-Mimarlik Fakultesi
ZhiWu Li: Macau University of Science and Technology
Gökhan Gelen: Gaziosmanpasa Universitesi
Rabiu Saleh Zakariyya: Meliksah Universitesi Muhendislik-Mimarlik Fakultesi

Journal of Intelligent Manufacturing, 2016, vol. 27, issue 5, No 14, 1129 pages

Abstract: Abstract In this paper a divide-and-conquer-method for the synthesis of liveness enforcing supervisors (LES) for flexible manufacturing systems (FMS) is proposed. Given the Petri net model (PNM) of an FMS prone to deadlocks, it aims to synthesize a live controlled Petri net system. For complex systems, the use of reachability graph (RG) based deadlock prevention methods is a challenging problem, as the RG of a PNM easily becomes unmanageable. To obtain the LESs from a large PNM is usually intractable. In this paper, to ease this problem the PNM of a system is divided into small connected subnets. Each connected subnet prone to deadlocks is then used to compute the LES for the original PNM. Starting from the simplest subnet prone to deadlocks to make the subnet live, monitors (control places) are computed. The RG of each subnet is considered and split into a dead-zone (DZ) and a live-zone. All states in the DZ are prevented from being reached by means of a well-established invariant-based control method. Next, the computation of monitors is followed for bigger subnets. Previously computed monitors are included within the bigger subnets based on a criterion. This process keeps the DZ of the bigger subnets smaller compared with the original uncontrolled subnets. When all subnets are live we obtain a set of monitors that are included within the PNM to obtain a partially controlled PNM (pCPNM). A new set of monitors is also computed for the pCPNM. Finally, a live controlled Petri net system is obtained. The proposed method is generally applicable, easy to use, effective and straightforward although its off-line computation is of exponential complexity in theory. Its use for FMS control guarantees deadlock-free operation and high performance in terms of resource utilization and system throughput. Two FMS deadlock problems from the literature are used to illustrate the applicability and the effectiveness of the proposed method.

Keywords: Flexible manufacturing systems (FMS); Deadlock; Deadlock prevention; Petri nets (PN); Liveness enforcing supervisor (LES) (search for similar items in EconPapers)
Date: 2016
References: View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
http://link.springer.com/10.1007/s10845-014-0938-z Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:joinma:v:27:y:2016:i:5:d:10.1007_s10845-014-0938-z

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10845

DOI: 10.1007/s10845-014-0938-z

Access Statistics for this article

Journal of Intelligent Manufacturing is currently edited by Andrew Kusiak

More articles in Journal of Intelligent Manufacturing from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().