期刊
ENGINEERING WITH COMPUTERS
卷 25, 期 3, 页码 269-278出版社
SPRINGER
DOI: 10.1007/s00366-008-0122-1
关键词
Petri net; Flexible manufacturing system; Siphon; (SPR)-P-4; Deadlock prevention
资金
- National Natural Science Foundation of China [60474018, 60773001]
- National Research Foundation for the Doctoral Program of Higher Education
- Ministry Education of China [20070701013]
Siphons are very important in the analysis and control of deadlocks in a Petri net. However, it is quite time-consuming or even impossible to get the complete siphon enumeration of a Petri net. This paper focuses on the deadlock prevention problems in flexible manufacturing systems that are modeled with (SPR)-P-4, a general class of Petri nets. The analysis of (SPR)-P-4 leads us to characterize deadlock situations in terms of insufficiently marked siphons. The method proposed in this paper is an iterative approach. At each iteration, a non-max-marked siphon is computed by solving a mixed integer linear programming problem. Then the siphon is max-marked through a P-invariant by adding a monitor place. This process is carried out until no non-max-marked siphon can be found in the net. As a result all the siphons in the net are max-controlled. Then the net becomes live. Without computing all the siphons, a monitor-based liveness-enforcing Petri net supervisor can be found with more permissive behavior. A number of flexible manufacturing examples are used to demonstrate the proposed methods.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据