Redes de Petri Colorida no Desenvolvimento de Objetos de Aprendizagem: Uma Análise das Propriedades Comportamentais do Modelo LOCPN

Resumo

Resumo: Este trabalho tem como principal objetivo à análise das propriedades comportamentais das Redes de Petri (RdP) com foco em sua semântica para o desenvolvimento de Objetos de Aprendizagem. Neste artigo realizou-se um experimento de validação com o modelo LOCPN, uma extensão das já tradicionais Redes de Petri Coloridas (RdPC), utilizadas para construir e observar estas propriedades e avaliar se vão ao encontro das definições iniciais. Os resultados alcançados demonstram a viabilidade do uso das propriedades comportamentais das RdPC no desenvolvimento de OA.

Abstract: This paper aims to make an analysis on the Petri Nets (RdP) behavioral properties focusing at its semantics on Learning Objects development. We use the Learning Object Colored Petri Nets, also known as LOCPN, an extension of the traditional Colored Petri Nets (RdPC), to observe those properties and see if it go towards the initial proposal. The reached results demonstrate the viability of the use of the properties behavior of RdPC in the development of OA.