Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Boucherit, Ammar; Khababa, Abdallah; Castro, Laura M.

doi:10.3233/mgs-180298

Cited by 4 publications

(2 citation statements)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, the most closely related work is that presented in [10], where authors have proposed an algorithm for the automatic generation of Maude specification based on the existing semantics of Petri nets. However, this work is limited to pure Petri nets without supporting inhibitor arcs.…”

Section: Related Workmentioning

confidence: 99%

“…This can greatly simplify the process of modeling and verifying concurrent and distributed systems and can help to ensure their correctness and reliability. In fact, this tool is an enhancement and extension of our previous work [10], in which we have proposed an algorithm for the automatic generation of Maude specification based only on the existing rewriting logic semantics by using incidence matrices for pure Petri nets without inhibitor arcs.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

PN2Maude: An automatic tool to generate Maude specification for Petri net models

Boucherit,

Abbas,

Mohamed Lamine

et al. 2023

CSJM

View full text Add to dashboard Cite

Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models. This paper presents a very useful tool for the automatic generation of Maude specifications from both Petri net PNML (Petri Net Markup Language) descriptions or incidence matrices. At the end of this paper, a simple but complete Petri net example will be presented to demonstrate the usefulness of the developed tool.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%