报告题目：Optimal Deadlock Control of Automated Manufacturing Systems using Petri Nets: A Reachability Graph Approach
报告人：李志武，澳门科技大学教授，IEEE Fellow
报告时间：2025年11月22日(周六) 15:30-16:50
报告地点：信息与控制工程学院B202
个人简介：Zhiwu Li received the B.S. degree in mechanical manufacturing, M.S. degree in mechatronics, and Ph.D. degree in Mechanical Engineering, all from Xidian University, Xi’an, China, in 1989, 1992, and 1995, respectively. Dr. Li held visiting professor position at the University of Toronto, Technion (Israel Institute of Technology), Martin-Luther University at Halle (supported by Alexander von Humboldt Foundation), University of Cagliari, Politecnico di Bari, Conservatoire National des Arts et Métiers (Cnam, supported by the program of Research in Paris), King Saud University, and Meliksah University. He has published three monographs in Springer (2009; 2023) and CRC Press (2013). Currently he is a Chair Professor with the Macau University of Science and Technology. He is research was cited by leading business giants IBM, HP, ABB, Volvo, GE, GM, Mitsubishi, Ford Car, Hitachi and Huawei. His current interests include Petri net theory & application, production automation, and supervisory control of discrete event systems. He is a Fellow of IEEE (2016) and was selected as Thomson Reuters Highly Cited Researchers in the category of Engineering from 2014-2018.
报告摘要：For the deadlock problem in automated manufacturing systems, a deadlock prevention and control method based on Petri net reachability graph analysis is introduced. The reachability graph of a Petri net model is dichotomized into legal and deadlock zones; the concept of first-met bad markings is proposed. The use of vector covering effectively reduces the number of constraints and variables of the linear programming problems formulated for an optimal controller design, making the reported methods applicable to large-scale systems. Finally, the idea of vector covering is applied to general Petri net models to solve the supervision and control problem of unstructured net systems.
信息与控制工程学院
2025年11月16日
