报告题目：Optimal Deadlock Control of Automated Manufacturing Systems using Petri Nets: A Reachability Graph Approach

报告人：李志武教授，西安电子科技大学

报告时间：2025年6月27日（周五）9:30-12:00

报告地点：20-200

报告摘要：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.

报告人简介：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 Professor in Automation with Xidian University. His 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.

邀请人：钟杰