Affiliations: [a] Computer Science Department, University of Ferhat Abbas Setif, Algeria | [b] Computer Science Department, University of Echahid Hamma Lakhdar, Algeria | [c] Computer Science Department, A Coruña University, Spain
Corresponding author: Ammar Boucherit, Computer Science Department, University of Ferhat Abbas Setif, Algeria. E-mail: firstname.lastname@example.org.
Abstract: 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.
Keywords: Automatic code generation, multi-agent systems, Petri nets, rewriting logic