Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions

International Journal of Advanced Manufacturing Technology

Volumn 24, Issue 1-2, 2004, Pages 48-69

  Uzam, M ^a  

^a NIGDE UNIVERSITY   (Turkey)

Author keywords

Discrete event systems; Manufacturing processes; Petri nets; Supervisory control; Synthesis methods

Indexed keywords

ACTUATORS; DATA ACQUISITION; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; REAL TIME SYSTEMS;

DISCRETE EVENT SYSTEMS; MANUFACTURING PROCESSES; SUPERVISORY CONTROL; SYNTHESIS METHODS;

FEEDBACK CONTROL;

EID: 3843054162     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)

1. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. IEEE Proc 77(5):81-98
2. Ramadge PJ, Wonham WM (1987) Modular feedback logic for discrete event systems. SIAM J Control Optim 25(5):1202-1218
3. Ramadge PJ, Wonham WM (1987) Supervisory control of discrete event processes. SIAM J Control Optim 25(1):206-230
4. Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637-659
5. Guia A (1996) Petri net techniques for supervisory control of discrete event systems. In: Proceedings of 1st international workshop on manufacturing and Petri nets, Osaka, Japan, pp 1-21
6. Holloway LE, Krogh BH (1990) Synthesis of feedback control logic for a class of controlled Petri nets. IEEETrans Automat Contr 35(5):514-523
7. Krogh BH, Holloway LE (1991) Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4):641-651
8. Guia A, DiCesare F (1991) Supervisory design using Petri nets. In: Proceedings of 30th conference on decision and control, Brighton, UK, pp 92-97
9. Sreenivas RS (1994) On asymptotically efficient solutions for a class of supervisory control problems. In: Proceedings of IEEE international conference on systems, man and cybernetics, San Antonio, TX
10. Sreenivas RS (1994) On the implications of solvability of the supervisory control problem for certain infinite state discrete event dynamic systems. In: Proceedings of 28th annual conference in information sciences and systems, Princeton University, NJ
11. Sreenivas RS (1996) On asymptotically efficient solutions for a class of supervisory control problems. IEEE Trans Automat Contr 41(12):1736-1750
12. Holloway LE, Guan X, Zhang L (1996) A generalization of state avoidance policies for controlled Petri nets. IEEE Trans Automat Contr 41(6):804-816
13. Yamalidou K, Moody J, Lemmon M, Antsaklis P (1996) Feedback control of Petri nets based on place invariants. Automatica 32(1): 15-28
14. Uzam M, Jones AH, Yücel İ (1999) A rule-based methodology for supervisory control of discrete event systems modelled as automation Petri nets. Int J Intell Contr Syst 3(3):297-325
15. Uzam M, Jones AH, Yücel I (2000) Using a Petri-net based approach for the real-time supervisory control of an experimental manufacturing system. Int J Adv Manuf Technol 16:498-515
16. Uzam M (2002) An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19:192-208
17. 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 23:204-219
18. Rezg N, Xie X, Ghaffari A (2000) Supervisory control in discrete event systems using the theory of regions. In: Proceedings of WODES 2000, Chent, Belgium, pp 391-398
19. Badouel E, Darondeau P (1998) Theory of regions. In: Lectures on Petri nets I: basic models, advances in Petri nets (Lecture notes in computer science), vol 1491. Springer, Berlin Heidelberg New York, pp 529-586
20. Ehrenfeucht A, Rozenberg G (1990) Partial (set) 2-structures, part I: basic notions and the representation problem. Acta Inform 27:315-342
21. Ehrenfeucht A, Rozenberg G (1990) Partial (set) 2-structures, part II: state space of concurrent systems. Acta Inform 27:343-368
22. Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In: Proc of CAAP 95 (Lecture notes in computer science), vol 915. Springer, Berlin Heidelberg New York, pp 647-679
23. Badouel E, Darondeau P (1996) On the synthesis of general Petri nets. INRIA research report no 3025
24. Giua A, DiCesare F (1991) Supervisory design using Petri nets. In: Proc of 30th conference on decision and control, Brighton, England, pp 92-97
25. Murata T (1989) Petri nets: properties, analysis and application. In: IEEE Proc 44:541-579
26. Zhou MC, Jeng MD (1998) Modeling, analysis, simulation, scheduling and control of semiconductor manufacturing systems: a Petri net approach. IEEE Trans Semiconduct Manuf 11(3):333-357
27. Lee KH, Favrel J (1985) Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Trans Syst Man Cyb SMC-15:272-280
28. Silva M (1985) Las redesde petri en la automatica y la informatica. Madrid, Editorial AC
29. Caillaud B (1999) SYNET: a synthesizer of distributable bounded Petri-nets from finite automata version 2.0b.http:// www.irisa.fr/s4/tools/synet/, IRISA, Rennes, France