On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions

International Journal of Advanced Manufacturing Technology

Volumn 38, Issue 1-2, 2008, Pages 195-204

  Wei, Na ^a   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Elementary siphon; Flexible manufacturing system; Petri net; Strict minimal siphon

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; KETONES; MANUFACTURE; PETRI NETS; STRUCTURAL ANALYSIS; WEIGHT CONTROL;

(E ,2E) THEORY; ALGEBRAIC EXPRESSIONS; CASE STUDIES; COMBINED METHODS; COMPUTATIONALLY EFFICIENT; CONTROL PLACES; DEADLOCK PREVENTION; FLEXIBLE MANUFACTURING; LIVENESS; MANUFACTURING RESOURCES; NET MODELS; RESOURCE PLACES; SPRINGER (CO); STRICT MINIMAL SIPHONS (SMS);

SUPERVISORY PERSONNEL;

EID: 46749158799     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-007-1074-0     Document Type: Article

References (28)

1. Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77(4):541-580
2. Viswanadham N, Narahari Y, Johnson T (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Automat 6(6):713-723
3. Barkaoui K, Abdallah IB (1995) A deadlock prevention method for a class of FMS. In: Proc IEEE Int Conf Syst Man Cybern, pp 4119-4124
4. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):173-184
5. Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock-prevention supervisors using Petri nets. IEEE Trans Robot Autom 18(1):59-68
6. Banaszak Z, Krogh BH (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans Robot Autom 6(6):724-734
7. Hsien FS, Chang SC (1994) Dispatching driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Autom 10(2):196-209
8. Xing KY, Hu BS, Chen HX (1996) Deadlock avoidance policy for Petri net modelling of flexible manufacturing systems with shared resources. IEEE Trans Automat Contr 42(2):289-295
9. Park J (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Automat Contr 46(10):1572-1583
10. Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a Petri net-based approach. Int J Adv Manuf Technol 14(4):704-715
11. Ezpeleta J, Tricas F, García-Vallés F, Colom J (2002) A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans Robot Autom 18(4):621-625
12. Ezpeleta J, Recalde L (2004) A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans Syst Man Cybern A 34(1):93-101
13. Kumaran TK, Chang W, Chao H, Wysk A (1994) A structural approach for deadlock detection, avoidance, and resolution in flexible manufacturing systems. Int J Prod Res 32(10):2361-2379
14. Wysk RA, Yang NS, Joshi S (1991) Detection of deadlocks in flexible manufacturing systems. IEEE Trans Robot Autom 7(6):853-859
15. Uzam M (2002) An optimal deadlock prevention policy for flexible manufacturing systems using on Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19(3):192-208
16. Uzam M (2004) The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int J Adv Manuf Technol, February 23(3-4):204-219
17. Uzam M (2004) Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions. Int J Adv Manuf Technol 24(1-2):48-69
18. Jeng MD, Xie XL, Peng MY (2002) Process nets with resources for manufacturing modeling and their analysis. IEEE Trans Robot Autom 18(6):875-889
19. Ghaffari A, Nidhal N, Xie XL (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans Robot Autom 19(1):137-142
20. Barkaoui K, Abdallah IB (1994) An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets. In: Proc IEEE Int Conf Syst Man Cybern, vol. 1, San Antonio, TX, pp 525-30
21. Tricas F, Valles FG, Colom JM, Ezpeleta J (2000) An iterative method for deadlock prevention in FMSs. In: Boel R, Stremersch G (eds) Proc 5th Workshop on Discrete Event Systems, pp 139-148
22. Barkaoui K, Chaoui A, Zouari B (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. In: Proc IEEE Int Conf Syst, Orlando, Florida, USA, pp 3750-3755
23. Badouel E, Darondeau P (1998) Theory of regions. In: Reisig W, Rozenberg G (eds) Lectures on Petri nets I: Basic models, lecture notes in computer science, pp 529-86
24. Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot Autom 13(6):793-804
25. Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):38-51
26. Lautenbach K, Ridder H (1994) Liveness in bounded Petri nets which are covered by T-invariants. In: Valette R (ed) Proc 13th Int Conf Application and Theory of Petri Nets 1994, LNCS, vol 815. Springer, Berlin Heidelberg New York, pp 358-375
27. Li ZW, Zhou MC (2006) Control of elementary and dependent siphons in Petri nets and their application. Accepted for publication in IEEE Transactions on Systems Man and Cybernetics
28. Li ZW, Zhou MC (2006) Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. Accepted for publication in IEEE Transactions on Industrial Informatics 2(4):313-325