Automatic Generating Algorithm Of Rewriting Logic Specification For Multi-Agent System Models Based On Petri Nets

On one hand, Petri nets are widely used as a modeling formalism to assess both structural and behavioral properties of the multi-agent system bacause of their mathematical foundations and the rich underlying analysis tools has developed around them. On the other hand, Maude is a very powerful formal specification language based on rewriting logic that is known as a unifying framework for different types of Petri nets and offers a wide range of analysis techniques.In this paper, we will present a new algorithm allowing the automatic generation of Maude specifications from Petri nets models in order to help designers to effectively obtain the rewriting logic based specification of their multi-agent systems and then facilitate their analysis, pick up time and stay away from human related errors occurred during the manual preparation of such specification.