An extension of Petri network for multi-agent system representation

With emergence of multi-agent systems, there is a need to invent new models to represent them. Petri nets are good candidates for representation of interaction and change of state. However, their limitations do not allow them to be relevant for modeling in software engineering development. Here, a new mathematical model incorporating the same graphical conventions and providing backward compatibility with the canonical model has been formalized. A practical application of the model is proposed to present the various features detailed in the analysis.