| Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems |
| |
| 作者姓名： | Keyi XING Feng TIAN Xiaojun YANG |
| |
| 作者单位： | The State Key Laboratory for Manufacturing System Engineering, Systems Engineering Institute,
Xi’an Jiaotong University, Xi’an Shannxi 710049, China;Xi’an Institute of Electromechanical Information Technology, Xi’an Shaanxi 710065, China |
| |
| 基金项目： | State Key Laboratory for Manufacturing System Engineering at Xi’an Jiaotong University, China. |
| |
| 摘 要： | Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resource-transition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.
|
| 关 键 词： | 自动化制造系统 Petri网 死锁规避 超级用户 |
| 收稿时间： | 2005-05-04 |
| 修稿时间： | 2006-12-15 |
Optimal deadlock avoidance Petri net supervisors
for automated manufacturing systems |
| |
| Keyi XING, Feng TIAN, Xiaojun YANG.Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems[J].Journal of Control Theory and Applications,2007,5(2):152-158. |
| |
| Authors: | Keyi XING; Feng TIAN; Xiaojun YANG |
| |
| Affiliation: | 1. The State Key Laboratory for Manufacturing System Engineering, Systems Engineering Institute, Xi'an Jiaotong University, Xi'an Shannxi 710049, China
2. The State Key Laboratory for Manufacturing System Engineering, Systems Engineering Institute, Xi'an Jiaotong University, Xi'an Shannxi 710049, China;Xi'an Institute of Electromechanical Information Technology, Xi'an Shaanxi 710065, China |
| |
| Abstract: | Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings.
Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition
circuits and their saturated states. The concept facilities the development of system liveness characterization and
deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits
reach their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal
deadlock avoidance Petri net supervisors are presented. For an general manufacturing system, a method is proposed for
reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal
deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor
of the system. |
| |
| Keywords: | Manufacturing system Petri net Deadlock avoidance Supervisor |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《控制理论与应用(英文版)》浏览原始摘要信息 |
|
点击此处可从《控制理论与应用(英文版)》下载全文 |
|
