Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab

Control Engineering Practice

Volumn 15, Issue 2, 2007, Pages 241-259

  Basile, Francesco ^a   Carbone, Ciro ^a   Chiacchio, Pasquale ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Computer aided control system design; Discrete event systems; Petri nets; Simulation; Supervisory control

Indexed keywords

C (PROGRAMMING LANGUAGE); CLOSED LOOP CONTROL SYSTEMS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; GRAPHICAL USER INTERFACES; OPTIMIZATION; PETRI NETS; SCADA SYSTEMS;

ANALYSIS TOOL; COLORED PETRI NETS; DISCRETE-EVENT CONTROL SYSTEMS; LOOK-AHEAD SUPERVISORY TECHNIQUES;

DISCRETE TIME CONTROL SYSTEMS;

C (PROGRAMMING LANGUAGE); CLOSED LOOP CONTROL SYSTEMS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; GRAPHICAL USER INTERFACES; OPTIMIZATION; PETRI NETS; SCADA SYSTEMS;

EID: 33750151868     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2006.07.006     Document Type: Article

References (19)

1. Amato F., Basile F., Carbone C., and Chiacchio P. An approach to control automated warehouse systems. Control Engineering Practice 13 (2005) 1223-1241
2. Campos, J., & Silva, M. (1992). Structural techniques and performance bounds of stochastic Petri net models. In G. Rozemberg (Ed.). Advances in Petri nets 1992. Lecture notes in computer science (Vol. 609, pp. 353-391). Berlin: Springer.
3. Carbone, C. (2005). Control-oriented discrete event models for manufacturing and transport systems. Ph.D. thesis, University of Salerno, Italy. Downloadable from: 〈http://www.supelec.fr/lss/CTS/WWW/CTS_publications.htm〉.
4. Cassandras C.G., and Lafortune S. Introduction to discrete event systems (1999), Kluwer Academic Publishers, Dordrecht
5. Charbonnier F., Alla H., and David R. The supervised control of discrete event system. IEEE Transactions on Control System Technology 7 2 (1999) 175-187
6. Cordone, R., & Ferrarini, L. (2003). Some results on the computation of minimal siphons in Petri nets. 42th IEEE international conference on decision and control (CDC'03) (pp. 3754-3759). Maui, HI, USA.
7. Girault C., and Valk R. Petri nets for systems engineering (2003), Springer, Berlin
8. Giua, A., Fanti, M. P., & Seatzu, C. (2003). Generalized mutual exclusion constraints and monitors for colored Petri nets. 2003 IEEE international conference on systems, man and cybernetics (pp. 1860-1865), Washington, DC.
9. Giua A., Fanti M.P., and Seatzu C. Monitor design for colored Petri nets: An application to deadlock prevention in railway networks. Control Engineering Practice 14 10 (2006) 1231-1247
10. Giua, A., & Seatzu, C. (2004). Monitor design for colored Petri nets with uncontrollable and unobservable transitions. Seventh workshop on discrete event systems (pp. 361-366). Reims, France.
11. Holloway L.E., Krogh B.H., and Giua A. A survey of Petri nets methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7 7 (1997) 151-190
12. Jensen, K. (1995). Colored Petri nets. Basic concepts, analysis methods and practical use. Volume 1. Monographs on theoretical computer science. New York: Springer.
13. Li Y., and Wonham W.M. Control of vector discrete-event systems II-Controller synthesis. IEEE Transactions on Automatic Control 39 3 (1994) 512-531
14. Martinez, J., & Suarez, M. S. (1982). A simple and fast algorithm to obtain all invariants of a generalized Petri net. In C. Girault, W. Reisig (Eds.). Informatik-Fachberichte 52: Application and theory of Petri nets: Selected papers from the first and second European workshop on application and theory of Petri nets. Strasbourg, September 23-26, 1980, Bad Honnef, September 28-30, 1981 (pp. 301-310). Berlin: Springer.
15. Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77 4 (1989) 541-580
16. Qiu R.G., and Zhou M.C. Mightly MESs; state-of-the-art and future manufacturing execution systems. IEEE Robotics and Automation Magazine 11 1 (2004) 19-25,40
17. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 637-659
18. Recalde L., Teruel E., and Silva M. On linear algebraic techniques for liveness analysis of p/t systems. Journal of Circuits, Systems, and Computers 1 8 (1998) 223-265
19. Weber, M., & Kindler, E. (2003). The Petri net markup language. In H. Ehrig, W. Reisig, G. Rozenberg, & H. Weber (Eds.). Petri net technology for communication-based systems. Lecture notes in computer science (Vol. 2472, pp. 124-144). Berlin: Springer.