Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas

Revista Brasileira De Informática Na Educação

Endereço:

Av. Bento Gonçalves, 9500 - Setor 4 - Prédio 43.412 - Sala 219 Bairro Agronomia

PORTO ALEGRE / RS

Site: http://www.br-ie.org/rbie

Telefone: (51) 3308-6835

ISSN: 14145685

Editor Chefe: André Raabe

Início Publicação: 31/12/1996

Periodicidade: Trimestral

Ano: 2009 | Volume: 17 | Número: 3

Autores: E. S. Ramos, J. M. P. de Oliveira
Autor Correspondente: Eliane Santiago Ramos | [email protected]

Palavras-chave: sistemas tutores inteligentes, aprendizagem baseada em problemas, redes de petri coloridas

Apresenta-se neste trabalho uma abordagem de modelagem por Redes de Petri Coloridas para especifica

This research aims at presenting an approach of Color Petri Nets to formal specification and verifi