Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
- Author(s): Z. Li ; J. Zhang ; M. Zhao
- DOI: 10.1049/iet-cta:20060218
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): Z. Li 1 ; J. Zhang 1 ; M. Zhao 1
-
-
View affiliations
-
Affiliations:
1: School of Electro-Mechanical Engineering, Xidian University, Xi'an, People's Republic of China
-
Affiliations:
1: School of Electro-Mechanical Engineering, Xidian University, Xi'an, People's Republic of China
- Source:
Volume 1, Issue 4,
July 2007,
p.
955 – 967
DOI: 10.1049/iet-cta:20060218 , Print ISSN 1751-8644, Online ISSN 1751-8652
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.
Inspec keywords: integer programming; linear programming; Petri nets; controllability; flexible manufacturing systems
Other keywords:
Subjects: Control applications in manufacturing processes; Manufacturing systems; Combinatorial mathematics; Combinatorial mathematics; Control technology and theory (production); Optimisation techniques; Optimisation
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
-
1)