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

This research aims at presenting an approach of Color Petri Nets to formal specification and verification of an Intelligent Tutor System model that uses Problem-based Learning as a pedagogical strategy. The specification and verification formal allow to verifying whether the planned features of the pedagogical model are done before the system's implementing stage. Initial experiments indicate consistency and overall benefits of the proposal.