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

详细信息    查看全文

• 作者：Murat Uzam ; ZhiWu Li ; Gökhan Gelen…
• 关键词：Flexible manufacturing systems (FMS) ; Deadlock ; Deadlock prevention ; Petri nets (PN) ; Liveness enforcing supervisor (LES)
• 刊名：Journal of Intelligent Manufacturing
• 出版年：2016
• 出版时间：October 2016
• 年：2016
• 卷：27
• 期：5
• 页码：1111-1129
• 全文大小：1,282 KB
• 刊物类别：Business and Economics
• 刊物主题：Economics
  Production and Logistics
  Manufacturing, Machines and Tools
  Automation and Robotics
  
• 出版者：Springer Netherlands
• ISSN：1572-8145
• 卷排序：27

文摘

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.