Corresponding Relationship of Deadlock Structures in Petri Net Models for Automated Manufacturing Systems

摘要：

The investigations on deadlock resolution in automated manufacturing systems have received significant attention for two decades. Deadlock phenomena often lead to catastrophic results in automated manufacturing systems. Their efficient handling becomes a necessary condition for a system to gain high productivity. Based on Petri net models of automated manufacturing systems, many deadlock characterizations and deadlock avoidance controllers are presented. This paper presents a one-to-one corresponding relation between two kinds of deadlock structures in Petri net models for automated manufacturing systems, and hence, establishes the inherence relation of two kind methods for designing deadlock avoidance controllers.

作者: Keyi Xing Junmin Li Feng Tian Xiaojun Yang

作者单位: SKLMSE Lab, and Systems Engineering Institute Xian Jiaotong University Xian, 710049, PRC Department of Applied Mathematics Xidian University Xian, 710071, PRC

会议类型: 国际会议

会议名称: Fourth International Conference on Impulsive and Hybrid Dynamical Systems(ICIHDS 2007)(第四届国际脉冲和混合动力系统学术会议)

会议地点: 南宁

会议语种:英文

在线出版日期: 2007-07-20（万方平台首次上网日期，不代表论文的发表时间）