© The Institution of Engineering and Technology
The importance of siphons is well recognised in the analysis and control of deadlocks in Petri nets. Deadlock prevention problems are considered for S4PR, a class of generalised Petri nets, that can model well a large class of flexible manufacturing systems (FMS). Siphons in a plant net model are divided into elementary and dependent ones. Deadlock prevention is achieved by adding monitors (control places) to make every elementary siphon satisfy the maximal controlled-siphon property. Conditions are developed under which a dependent siphon is maximally controlled when its elementary siphons are so. The max-controllability of a dependent siphon is ensured by properly supervising the control depth variables of its elementary siphons via linear integer programming techniques. Compared with existing methods, this policy requires a much smaller number of supervisory monitors. Finally, the application of this approach is illustrated by an FMS example.
References
-
-
1)
-
Tricas, F., Vallès, F.G., Colom, J.M., Ezpeleta, J.: `A structural approach to the problem of deadlock prevention in processes with resources', Proc. WODES'98, 1998, Italy, p. 273–278.
-
2)
-
J. Ezpeleta ,
J.M. Colom ,
J. Martinez
.
A Petri net based deadlock prevention policy for flexible manufacturing systems.
IEEE Trans. Robot. Automat.
,
173 -
184
-
3)
-
F.S. Hsien ,
S.C. Chang
.
Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems.
IEEE Trans. Robot. Autom.
,
2 ,
196 -
209
-
4)
-
T. Murata
.
Petri nets properties, analysis and applications.
Proc. IEEE
,
4 ,
541 -
580
-
5)
-
M.D. Jeng ,
X.L. Xie ,
S.L. Chung
.
ERCN*-merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems.
IEEE Trans. Syst., Man, Cybern., Part A
,
1 ,
102 -
112
-
6)
-
Uzam, M., Zhou, M.C.: `Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 2004, Netherlands, p. 4260–4265.
-
7)
-
T. Kumaran ,
W. Chang ,
H. Cho
.
A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems.
Int. J. Prod. Res.
,
10 ,
2361 -
2379
-
8)
-
Z.W. Li ,
M.C. Zhou
.
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.
IEEE Trans. Syst., Man, Cybern., Part A
,
1 ,
38 -
51
-
9)
-
F. Tricas ,
F.G. Vallès ,
J.M. Colom ,
J. Ezpeleta
.
An iterative method for deadlock prevention in FMSs.
-
10)
-
M.D. Jeng ,
X.L. Xie ,
M.Y. Peng
.
Process nets with resources for manufacturing modeling and their analysis.
IEEE Trans. Robot. Autom.
,
6 ,
875 -
889
-
11)
-
Ezpeleta, J., García-Vallés, F., Colom, J.M.: `A class of well structured Petri nets for flexible manufacturing systems', Proc. 19th Int. Conf. on Application and Theory of Petri Nets, 1998, Portugal, p. 64–83.
-
12)
-
Tricas, F., Vallès, F.G., Colom, J.M., Ezpeleta, J.: `A Petri net structure based deadlock prevention solution for sequential resource allocation', Proc. IEEE Int. Conf. on Robotics Automation, 2005, Spain, p. 271–277.
-
13)
-
M. Uzam
.
An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions.
Int. J Adv. Manuf. Tech.
,
3 ,
192 -
208
-
14)
-
J. Ezpeleta ,
L. Recalde
.
A deadlock avoidance approach for non-sequential resource allocation systems.
IEEE Trans. Syst., Man, Cybern., Part A
,
1 ,
93 -
101
-
15)
-
M. Uzam ,
M.C. Zhou
.
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems.
Int. J. Prod. Res.
,
10 ,
1987 -
2030
-
16)
-
Barkaoui, K., Chaoui, A., Zouari, B.: `Supervisory control of discrete event systems based on structure theory of Petri nets', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetic, 1997, Orlando, Florida, U.S.A, p. 3750–3755.
-
17)
-
Y.S. Huang ,
M.D. Jeng ,
X.L. Xie ,
S.L. Chung
.
Deadlock prevention policy based on Petri nets and siphons.
Int. J. Prod. Res.
,
283 -
305
-
18)
-
N. Viswanadham ,
Y. Narahari ,
T.L. Johnson
.
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models.
IEEE Trans. Robot. Autom
,
6 ,
713 -
723
-
19)
-
M.C. Zhou ,
K. Venkatesh
.
(1998)
Modelling, simulation and control of flexible manufacturing systems: a Petri net approach.
-
20)
-
X.L. Xie ,
M.D. Jeng
.
ERCN-merged nets and their analysis using siphons.
IEEE Trans. Robot. Autom.
,
4 ,
692 -
703
-
21)
-
Barkaoui, K., Abdallah, I.B.: `A deadlock prevention method for a class of FMS', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 1995, Vancouver, BC, Canada, p. 4119–4124.
-
22)
-
I.B. Abdallah ,
H.A. ElMaraghy
.
Deadlock prevention and avoidance in FMS: a Petri net based approach.
Int. J. Adv. Manuf. Tech.
,
704 -
715
-
23)
-
M.C. Zhou ,
F. DiCesare
.
Parallel and sequential mutual exclusions for Petri net modelling for manufacturing systems.
IEEE Trans. Robot. Autom.
,
4 ,
515 -
527
-
24)
-
M.V. Iordache ,
J.O. Moody ,
P.J. Antsaklis
.
Synthesis of deadlock prevention supervisors using Petri nets.
IEEE Trans. Robot. Automat.
,
59 -
68
-
25)
-
Z.A. Banaszak ,
B.H. Krogh
.
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows.
IEEE Trans. Robot. Autom.
,
6 ,
724 -
734
-
26)
-
F. Chu ,
X.L. Xie
.
Deadlock analysis of Petri nets using siphons and mathematical programming.
IEEE Trans. Robot. Automat.
,
793 -
804
-
27)
-
Tricas, F., Martinez, J.: `An extension of the liveness theory for concurrent sequential processes competing for shared resources', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 1995, Vancouver, BC, Canada, p. 3035–3040.
-
28)
-
M. Uzam ,
Z.W. Li ,
M.C. Zhou
.
Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS.
Int. J. Adv. Manuf. Tech.
-
29)
-
Zouari, B., Barkaoui, K.: `Parameterized supervisor synthesis for a modular class of discrete event systems', Proc. IEEE Int. Conf. on Systems Man, and Cybernetics, 2003, p. 1874–1879.
-
30)
-
M.P. Fanti ,
M.C. Zhou
.
Deadlock control methods in automated manufacturing systems.
IEEE Trans. Syst., Man, Cybern., Part A
,
1 ,
5 -
22
-
31)
-
Barkaoui, K., Pradat-Peyre, J.F.: `On liveness and controlled siphons in Petri nets', Proc. 17th Int. Conf. on Application and Theory of Petri Nets, 1996, Osaka, Japan, p. 57–72.
-
32)
-
J. Park ,
S.A. Reveliotis
.
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings.
IEEE Trans. Automat. Control.
,
1572 -
1583
-
33)
-
Y.S. Huang ,
M.D. Jeng ,
X.L. Xie ,
T.H. Chung
.
Siphon-based deadlock prevention policy for flexible manufacturing systems.
IEEE Trans. Syst., Man, Cybern.
,
6 ,
1248 -
1256
-
34)
-
Z.W. Li ,
M.C. Zhou
.
Clarifications on the definitions of elementary siphons of Petri nets.
IEEE Trans. Syst., Man, Cybern., Part A
,
6 ,
1227 -
1229
-
35)
-
R.A. Wysk ,
N.S. Yang ,
S. Joshi
.
Detection of deadlocks in flexible manufacturing systems.
IEEE Trans. Robot. Autom.
,
6 ,
853 -
859
-
36)
-
J. Ezpeleta ,
F. Tricas ,
F. Garcı́a-Vallès ,
J.M. Colom
.
A banker's solution for deadlock avoidance in FMS with flexible routing and multi resource stats.
IEEE Trans. Robot. Autom.
,
4 ,
621 -
625
-
37)
-
Lindo Systems Inc.: http://www.lindo.com, 2006.
-
38)
-
M.D. Jeng ,
X.L. Xie
.
Analysis of modularly composed nets by siphons.
IEEE Trans. Syst., Man, Cybern.
,
4 ,
399 -
406
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cta_20060218
Related content
content/journals/10.1049/iet-cta_20060218
pub_keyword,iet_inspecKeyword,pub_concept
6
6