EMENTA DO PROGRAMA:
Classificação dos Sistemas. Definição das redes de Petri autônomas.  
Definição das boas propriedades (limitabilidade, vivacidade,  
reiniciabilidade etc.). Definição das propriedades estruturais  
(componentes conservativos e repetitivos). Algoritmos de análise de  
propriedades (por enumeração das marcações; baseado em resultados  
de álgebra linear; por redução do modelo). Definição das redes de Petri  
interpretadas, temporizadas, estocasticas e Coloridas  
(ferramenta CPN Tools).

BIBLIOGRAFIA:

Livros: 
-Redes de Petri - Cardoso e Valette - editora universitária da Universidade Federal de Santa Catarina. 1997. 
-Discrete, Continuous, and Hybrid Petri Nets René David , Hassane Alla - Springer. 2010. 
-Workflow management: Models, methods and systems - Wil van Aalst and Kee van Hee. The MIT Press. 2004. 
-Modelling Business Process: Petri net oriented approach - Aalst - The MIT Press. 2011. 
-Coloured Petri nets: Modelling and Validation of Concurrent Systems. Kurt Jensen. Springer. 2009. 

Artigo: 
-T. Murata "Petri nets : Properties, analysis and applications", proceeding of the IEEE, 1989