SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA (11.00.43.56.07)
Curso:	INFORMÁTICA/PPGI - Maceió - MESTRADO ACADÊMICO
Código:	PPGI007
Nome:	ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Não
Necessita de Orientador:	Não
Exige Horário:	Sim
Permite CH Compartilhada:	Não
Permite Múltiplas Aprovações:	Não
Quantidade de Avaliações:	1
Ementa/Descrição:	Redes de Petri Lugar/Transição. Modelagem com Redes de Petri. Redes de Petri de Alto Nível. Redes de Petri Coloridas (CP-nets). CP-nets hierárquicas. CP-nets com Tempo. CPN-Tools. Modelagem com CP-nets. Análise comportamental de modelos CP-nets. Aplicação de CP-nets.
Referências:	1. Jensen, K., Kristensen, L. M. Coloured Petri Nets, Modelling and Validation of Concurrent Systems. Springer-Verlag, 2009. 2. Katoen, J. P., Larsen, K . G. Principles of Model Checking. The MIT Press, 2008. 3. Clarke, E. M., Grumberg, O., Peled, D. A. Model Checking. The MIT Press, 1999. 4. Girault, C., Valk, R. (Orgs.). Petri Nets for Systems Engineering, A Guide to Modeling, Verification, and Applications. Springer, 2003. 5. Murata, T. Petri net: properties, analysis and application. Proceedings of the IEEE 77(4):541-580, 1989. 6. Ratzzer, A. V. et al. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, 2003.

<< Voltar