Uma Ferramenta para Mapear o Modelo Organizacional Moise+ em Rede de Petri Colorida de Forma Automatizada
Resumo
Este artigo apresenta como proposta o mapeamento de modelos organizacionais do Moise+ para Redes de Petri Coloridas, focando na automatização desse serviço. Desta forma, a ideia é o desenvolvimento de uma ferramenta capaz de criar uma rede de Petri colorida a partir do arquivo XML do modelo Moise+ existente. A ferramenta está sendo desenvolvida em Python e já apresenta resultados preliminares.Referências
Boucherit, A., Castro, L. M., Khababa, A., and Hasan, O. (2020). Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent and Grid Systems, 16(1):47–66.
Gonçalves, E. M. N., Machado, R. A., Rodrigues, B. C., and Adamatti, D. (2022). Cpn4m: Testing multi-agent systems under organizational model m oise+ using colored petri nets. Applied Sciences, 12(12):5857.
Haddad, S. and Poitrenaud, D. (1999). Theoretical aspects of recursive petri nets. In International Conference on Application and Theory of Petri Nets, pages 228–247. Springer.
Hübner, J. and Sichman, J. (2007). Developing organised multi-agent systems using the Moise+ model: Programming issues at the system and agent levels. In Int. J. Accounting, Auditing and Performance Evaluation, pages 1–10.
Jensen, K. (1997). Coloured Petri nets: basic concepts, analysis methods and practical use, volume 1. Springer Science & Business Media.
Gonçalves, E. M. N., Machado, R. A., Rodrigues, B. C., and Adamatti, D. (2022). Cpn4m: Testing multi-agent systems under organizational model m oise+ using colored petri nets. Applied Sciences, 12(12):5857.
Haddad, S. and Poitrenaud, D. (1999). Theoretical aspects of recursive petri nets. In International Conference on Application and Theory of Petri Nets, pages 228–247. Springer.
Hübner, J. and Sichman, J. (2007). Developing organised multi-agent systems using the Moise+ model: Programming issues at the system and agent levels. In Int. J. Accounting, Auditing and Performance Evaluation, pages 1–10.
Jensen, K. (1997). Coloured Petri nets: basic concepts, analysis methods and practical use, volume 1. Springer Science & Business Media.
Publicado
30/08/2023
Como Citar
CARDOSO, Arthur da Silva Z.; MACHADO, Ricardo A.; GONÇALVES, Eder M.; ADAMATTI, Diana F..
Uma Ferramenta para Mapear o Modelo Organizacional Moise+ em Rede de Petri Colorida de Forma Automatizada. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 17. , 2023, Pelotas/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2023
.
p. 101-105.
ISSN 2326-5434.
