A Petri net-based object-oriented approach for the modelling of hybrid productive systems

Nonlinear Analysis, Theory, Methods and Applications

Volumn 62, Issue 8, 2005, Pages 1394-1418

  Villani, Emilia ^a   Pascal, Jean C ^b   Miyagi, Paulo E ^c   Valette, Robert ^b  

^a INSTITUTO TECNOLÓGICO DE AERONÁUTICA   (Brazil)

^b LAAS CNRS   (France)

^c UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Hybrid system; Modelling; Object oriented paradigm; Petri net; Productive systems

Indexed keywords

AIR CONDITIONING; COMPUTATIONAL COMPLEXITY; DIFFERENTIAL EQUATIONS; PETRI NETS; REAL TIME SYSTEMS;

HYBRID SYSTEM; PRODUCTIVE SYSTEMS; UNIFIED MODELLING LANGUAGE (UML);

OBJECT ORIENTED PROGRAMMING;

EID: 24344499798     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.na.2005.02.123     Document Type: Article

References (19)

1. H. Alla, and R. David Discrete, Continuous, and Hybrid Petri Nets 2004 Springer Berlin
2. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas Discrete abstractions of hybrid systems Proc. IEEE 88 2 2000 971 984
3. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette Petri net based modelling of hybrid systems Comput. Ind. 36 1-2 1998 139 146
4. B.P. Douglass Real Time UML: Advances in the UML for Real-Time Systems 2004 Addison-Wesley Longman, Harlow
5. H. Genrich, Predicate/transition net, Lecture Notes in Computer Science (Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I), vol. 254, Springer, Berlin, 1987, p. 207-247.
6. H. Gueguen, and M. Lefebvre A comparison of mixed specification formalisms J. Européen Systèmes Automat. 4 2001 381 394
7. H. Gueguen, J. Zaytoon, Principes de la vérification des systèmes hybrides, Modélisation des Systèmes Réactifs (Actes de MSR 2001), Hermès-Lavoisier (Paris), 2001, pp. 427-444.
8. D.D.S. Guerrero, J.C.A. Figueiredo, A. Perkusich, An object-based modular CPN approach: its application to the specification of a cooperative editing environment, Advances on Petri Nets, Lecture Notes in Computer Science, vol. 2001, Springer, Berlin, 2001, pp. 338-354.
9. K. Hasegawa Application of the Mark Flow Graph to represent discrete event production systems and system control Trans. Soc. Instrum. Control Eng. 24 1 1988 69 75
10. Y.C. Ho Scanning the issue - dynamics of discrete event systems Proc. IEEE 77 1 1989 3 6
11. F.P. Incropera Fundamentals of Heat and Mass Transfer 2001 Wiley New York
12. F. Köster, S. Schof, M. Sonnenschein, R. Wieting, Modelling of a Library with THORNs, Concurrent Object Oriented Programming and Petri Nets, Lecture Notes in Computer Science, Springer, Berlin, 2001, pp. 375-390.
13. X.D. Koutsoukos, P.J. Antsaklis, J.A. Stiver, and M.D. Lemmon Supervisory control of hybrid systems Proc. IEEE 88 2 2000 1026 1049
14. C. Lakos From coloured Petri net to object Petri net Lecture Notes Comput. Sci. 935 1995 223 228
15. T. Murata Petri net: properties analysis and applications Proc. IEEE 77 4 1989 541 580
16. J. Rumbaugh, I. Jacobson, and G. Booch Unified Modeling Language Reference Manual second ed. 2004 Addison-Wesley, Longman Harlow
17. C. Valentin-Roubinet Hybrid dynamic system verification with mixed Petri net S. Engell S. Kowalewski J. Zaytoon The Fourth International Conference on Automation of Mixed Processes 2000 Shaker Verlag Aachen 231 236
18. E. Villani, Modelagem e análise de sistemas supervisórios híbridos. Ph.D. Thesis, University of São Paulo, 2004. Available at: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-08062004-131133/.
19. E. Villani, J.C. Pascal, P.E. Miyagi, and R. Valette Object oriented approach for cane sugar production: modelling and analysis Control Eng. Practice 12 10 2004 1279 1289