On systematic methods to remove redundant monitors from liveness-enforcing net supervisors

Computers and Industrial Engineering

Volumn 56, Issue 1, 2009, Pages 53-62

  Li, ZhiWu ^a   Hu, HeSuan ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Flexible manufacturing system; Implicit place; Liveness enforcing supervisor; Liveness restrictive place; Monitor; Petri net

Indexed keywords

COMPUTATIONAL EFFICIENCY; FLEXIBLE MANUFACTURING SYSTEMS; LAW ENFORCEMENT; MANUFACTURE; MARINE BIOLOGY; PETRI NETS; PROGRAMMING THEORY; SUPERVISORY PERSONNEL;

FLEXIBLE MANUFACTURING SYSTEM; IMPLICIT PLACE; LIVENESS-ENFORCING SUPERVISOR; LIVENESS-RESTRICTIVE PLACE; MONITOR; PETRI NET;

GRAPH THEORY;

EID: 59049093212     PISSN: 03608352     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cie.2008.03.013     Document Type: Article

References (50)

1. Abdallah I.B., and ElMaraghy H.A. Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14 (1998) 704-715
2. Banaszak Z.A., and Krogh B.H. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automatics 6 (1990) 724-734
3. Barkaoui, K., Abdallah, I.B. (1994). An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets. In Proceedings of IEEE international conference on system, man, cybernetics (pp. 525-530). San Antonio, TX, USA.
4. Barkaoui, K., Abdallah, I.B. (1995). A deadlock prevention method for a class of FMS. In Proceedings of IEEE international conference on system, man, cybernetics (pp. 4119-4124). Vancouver, BC, Canada.
5. Barkaoui, K., Chaoui, A., Zouari. B. (1997). Supervisory control of discrete event systems based on structure theory of Petri nets. In Proceedings of IEEE international conference on system, man, cybernetics (pp. 3750-3755). Orlando, Florida, USA.
6. Barkaoui, K., Couvreur, J.M., Klai, K. (2005). On the equivalence between liveness and deadlock-freeness in Petri nets. In Proceedings of 26th international conference on application and theory of petri nets and other models of concurrency, lecture notes in computer science (Vol. 3536, pp. 90-107). Miami, Florida, USA, Berlin: Springer-Verlag.
7. Chao D.Y. Maximal class of weakly live nets with nonempty siphons. IEEE Transactions on System, Man, Cybernetics, B 36 (2006) 1332-1341
8. Chu F., and Xie X.L. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automatics 13 (1997) 793-804
9. Ezpeleta J., Colom J.M., and Martinez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automatics 11 (1995) 173-184
10. Ezpeleta J., Couvreur J.M., and Silva M. A new technique for finding a generating family of siphons, traps, and st-components: Application to colored Petri nets. In: Rozenberg G. (Ed). Advances in Petri Nets 1993, Lecture Notes in Computer Science Vol. 674 (1993), Springer-Verlag, New York 126-147
11. Ezpeleta, J., García-Vallés, F., Colom, J.M. (1998). A class of well structured Petri nets for flexible manufacturing systems. In J. Desel, M. Silva (Eds.), Proc 19th Int Conf on Application and Theory of Petri Nets, Lecture Notes in Computer Science (Vol. 1420). Lisbon, Portugal, Berlin: Springer-Verlag, pp. 64-83.
12. Ezpeleta J., and Recalde L. A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Transactions on System, Man, Cybernetics 34 (2004) 93-101
13. Ezpeleta J., Tricas F., García-Vallés F., and Colom J.M. A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Transactions on Robotics and Automatics 18 (2002) 621-625
14. Garcia-Vallés, F., Colom, J.M. (1999). Implicit places in net systems. In Proc 8th Int Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sept. 8-10, pp. 104-113.
15. Ghaffari, A., Nidhal, N., Xie, X.L. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automatics 19, 137-142.
16. Hsien F.S., and Chang S.C. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automatics 10 (1994) 196-209
17. Huang Y.S., Jeng M.D., Xie X.L., and Chung S.L. Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research 39 (2001) 283-305
18. Huang, Y.S., Jeng, M.D., Xie, X.L., Chung, D.H. (2002). Siphon-based deadlock prevention policy for flexible manufacturing systems. Accepted for publication in IEEE Transactions on System, Man, Cybernetics A 36: 2006, pp. 1248-1256.
19. Iordache M.V., Moody J.O., and Antsaklis P.J. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automatics 18 (2002) 59-68
20. Jeng M.D., and Xie X.L. Analysis of modularly composed nets by siphons. IEEE Transactions on System, Man, Cybernetics A 29 (1999) 399-406
21. Jeng M.D., Xie X.L., and Peng M.Y. Process nets with resources for manufacturing modeling and their analysis. IEEE Transactions on Robotics and Automatics 18 (2002) 875-889
22. Kumaran T.K., Chang W., Chao H., and Wysk R.A. A structural approach for deadlock detection, avoidance, and resolution in flexible manufacturing systems. International Journal of Production Research 32 (1994) 2361-2379
23. Lautenbach K. Linear algebraic calculation of deadlocks and traps. In: Voss K., Genrich H.J., and Rozenberg G. (Eds). Concurrency and Nets (1987), Springer-Verlag, New York 315-336
24. Lautenbach, K., Ridder, H. (1994). Liveness in bounded Petri nets which are covered by t-invariants. In R. Valette (Ed.), Proc 13th Int Conf Application and Theory of Petri Nets, LNCS (Vol. 815). Springer-Verlag, pp. 358-375.
25. Li Z.W., Hu H.S., and Wang A.R. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on System, Man, Cynernetics, C 37 (2007) 517-526
26. Lindo, Premier (2007). Optimization Modeling Tools. Available from http://www.lindo.com/.
27. Li Z.W., Uzam M., and Zhou M.C. Comments on "deadlock prevention policy based on Petri nets and siphons". International Journal of Production Research 42 (2004) 5253-5254
28. Li Z.W., and Zhou M.C. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on System, Man, Cybernetics A 34 (2004) 38-51
29. Li Z.W., and Zhou M.C. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics 2 (2006) 313-325
30. Li Z.W., and Zhou M.C. Clarifications on the definitions of elementary siphons of Petri nets. IEEE Transactions on System, Man, Cybernetics, A 36 (2006) 1277-1279
31. Li Z.W., and Zhou M.C. Control of elementary and dependent siphons of petri nets and their application. IEEE Transactions on System, Man, Cybernetics, A 38 (2008) 133-148
32. Moody J.O., and Antsaklis P.J. Supervisory control of discrete event systems using Petri nets (1998), Kluwer Academic Publishers, Boston
33. Murata T. Petri nets: Properties, analysis, and applications. Proceedings of IEEE 77 (1989) 541-580
34. Park J., and Reveliotis S.A. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automatics 16 (2000) 190-195
35. Park J., and Reveliotis S.A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatics Control 46 (2001) 1572-1583
36. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proceedings of IEEE 77 (1989) 81-89
37. Recalde, L., Teruel, E., Silva, M. (1997). Improving the decision power of rank theorems. In Proceedings of IEEE international conference on system, man, cybernetics, Orlando, FL, USA, Oct. 12-15, pp. 3768-3773.
38. Schrijver A. Theory of linear and integer programming (1998), John Wiley & Sons, New York
39. P.H. Starke, INA: Integrated net analyzer. Handbuch, 1992.
40. Tricas, F., Vallès, F.G., Colom, J.M., Ezpeleta, J. (1998). A structural approach to the problem of deadlock prevention in processes with resources. In Proc 4th Workshop on Discrete Event Systems, Italy, August 26-28, pp. 273-278.
41. Tricas, F., Vallès, F.G., Colom, J.M., Ezpeleta, J. (2000). An iterative method for deadlock prevention in FMSs. In R. Boel, G. Stremersch (Eds.), Proc 5th Workshop on Discrete Event Systems, Ghent, Belgium, Aug. 21-23, pp. 139-148.
42. Uzam M. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology 19 (2002) 192-208
43. Uzam M., Li Z.W., and Zhou M.C. Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. International Journal of Advanced Manufacturing Technology 35 (2007) 150-168
44. Viswanadham N., Narahari Y., and Johnson T. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automatics 6 (1990) 713-723
45. Wysk R.A., Yang N.S., and Joshi S. Detection of deadlocks in flexible manufacturing systems. IEEE Transactions on Robotics and Automatics 7 (1994) 853-859
46. Xie X.L., and Jeng M.D. ERCN-merged nets and their analysis using siphons. IEEE Transactions on Robotics and Automatics 15 (1999) 692-703
47. Xing K.Y., Hu B.S., and Chen H.X. Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatics Control 41 (1996) 289-295
48. Yamalidou E., Moody J.O., and Antsaklis P.J. Feedback control of Petri nets based on place invariants. Automatica 32 (1994) 15-28
49. Zhou M.C., and DiCesare F. Parallel and sequential mutual exclusions for Petri net modelling for manufacturing systems. IEEE Transactions on Robotics and Automatics 7 (1991) 515-527
50. Zhou M.C., and Venkatesh K. Modelling, simulation and control of flexible manufacturing systems: A Petri net approach (1998), World Scientific, Singapore