Paper Info
Title
Automatic Generating Algorithm Of Rewriting Logic Specification For Multi-Agent System Models Based On Petri Nets
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.
Year
DOI
Venue
2018
10.3233/MGS-180298
MULTIAGENT AND GRID SYSTEMS
Keywords
Field
DocType
Automatic code generation, multi-agent systems, Petri nets, rewriting logic
Programming language,Petri net,Computer science,Multi-agent system,Rewriting,Distributed computing
Journal
Volume
Issue
ISSN
14
4
1574-1702
Citations 
PageRank 
References 
0
0.34
29
Authors
3
Name
Order
Citations
PageRank
Ammar Boucherit100.34
Abdallah Khababa200.34
Laura M. Castro35010.39