Modelagem de Sistemas Híbridos
Código: TIP7099
Disciplina: Modelagem de Sistemas Híbridos
Carga Horária Total: 64h
Ementa:
Histórico. Definições básicas. Análise de redes de Petri. Extensões às redes de Petri. Aplicações.
Referências:
CASSANDRAS, C. G.; LAFORTUNE, S. Introduction to Discrete Event Systems. 2. ed. Springer, 2008.
JENSEN, K.; KRISTENSEN, L. M. Coloured Petri Nets – Modelling and Validation of Concurrent Systems. Springer, 2009.
VILLANI, E.; MIYAGI, P. E.; VALETTE, R. Modelling and Analysis of Hybrid Supervisory Systems – A Petri Net Approach. Springer, 2007.
PENCZEK, W.; PÓŁROLA, A. Advances in Verification of Time Petri Nets and Timed Automata. Springer, 2006.
BAUSE, F.; KRITZINGER, P. Stochastic Petri Nets – An Introduction to the Theory. 2002.
IORDACHE, M. V.; ANTSAKLIS, P. J. Supervisory Control of Concurrent Systems – A Petri Net Structural Approach. Birkhäuser, 2006.
JENSEN, K. Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use. Vol. 1: Basic Concepts, Ver. 4. Springer-Verlag, 1992.
MURATA, T. Petri Net: Properties, Analysis and Applications. Proceedings of the IEEE, v. 77, n. 4, p. 541-580, 1989.
PETERSON, J. L. Petri Net Theory and Modeling of Systems. Englewood Cliffs: Prentice-Hall, 1981.
