MAMTCPN: \(\mathcal {M}\) oise \(^+\) Automated Mapping to Colored Petri Net

The demand for systems with artificial intelligence, such as multi-agent systems, is continuously growing. At the same time, there is a need for the development of tools for helping this area, ensuring better fault tolerance for the project, since these systems have characteristics that make the system non-deterministic and increase the difficulty in carrying out tests. To try to solve this problem, a mapping tool was developed that automatically generates a graphical model that can be used to identify test paths for a given multi-agent system. This tool takes as input an XML file from \(\mathcal {M}\) oise \(^+\) , an organizational model for multi-agent systems, mapping it into a colored Petri net, a graphical and mathematical modeling tool. The resulting mapping is used to generate test cases, necessary for validating the \(\mathcal {M}\) oise \(^+\) model, being used as a guide when carrying out system tests. Automation makes the process faster and eliminates the possibility of human error.