A Tool to Map the Moise+ Organizational Model in a Colored Petri Net Automatically
Abstract
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.References
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.
Published
2023-08-30
How to Cite
CARDOSO, Arthur da Silva Z.; MACHADO, Ricardo A.; GONÇALVES, Eder M.; ADAMATTI, Diana F..
A Tool to Map the Moise+ Organizational Model in a Colored Petri Net Automatically. In: WORKSHOP-SCHOOL ON AGENTS, ENVIRONMENTS, AND APPLICATIONS (WESAAC), 17. , 2023, Pelotas/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2023
.
p. 101-105.
ISSN 2326-5434.
DOI: https://doi.org/10.5753/wesaac.2023.33448.
