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

Resumo: Este trabalho tem como principal objetivo a analise 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 validacao com o modelo LOCPN, uma extensao das ja tradicionais Redes de Petri Coloridas (RdPC), utilizadas para construir e observar estas propriedades e avaliar se vao ao encontro das definicoes iniciais. Os resultados alcancados 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.