Paper Info
Title
Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets
Abstract
Siphons are a kind of special structural objects in a Petri net, and plays a key role in synthesizing a live Petri net controller for flexible manufacturing systems. In order to obtain a small size Petri net controller, this paper introduces the concept of a controllable siphon basis. It then proves that a live Petri net controller can be established by adding a control place and related arcs to each strict minimal siphon (SMS) in a controllable siphon basis. The initial markings of control places are determined by an integer linear program. The number of control places in the obtained controllers is the same as the number of SMSs in the controllable siphon basis, while the latter is no more than that of the activity places in a Petri net model. An algorithm for constructing a controllable siphon basis is proposed, and a new deadlock prevention policy based on it is established. A few examples are provided to demonstrate the proposed concepts and policy and used to compare them with the state-of-the-art methods.
Year
DOI
Venue
2015
10.1109/TSMC.2014.2347267
IEEE T. Systems, Man, and Cybernetics: Systems
Keywords
Field
DocType
System recovery,Petri nets,Educational institutions,Flexible manufacturing systems,Nickel,Silicon,Algorithm design and analysis
Integer,Control theory,Petri net,Algorithm design,Control theory,Siphon,Computer science,Integer programming,Linear programming,Deadlock prevention algorithms
Journal
Volume
Issue
ISSN
45
3
2168-2216
Citations 
PageRank 
References 
20
0.60
52
Authors
5
Name
Order
Citations
PageRank
Huixia Liu12007.27
Keyi Xing252234.59
Weimin Wu323643.97
MengChu Zhou48989534.94
Hailin Zou5221.32