PN2Maude: An automatic tool to generate Maude specification for Petri net models
-
Published:2023-07
Issue:2 (92)
Volume:31
Page:272-296
-
ISSN:1561-4042
-
Container-title:Computer Science Journal of Moldova
-
language:
-
Short-container-title:CSJM
Author:
Boucherit AmmarORCID,
Abbas MessaoudORCID,
Mohamed Lamine LamouriORCID,
Hasan OsmanORCID
Abstract
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.
Publisher
Moldova State University
Subject
Artificial Intelligence,Computational Mathematics,Computational Theory and Mathematics,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Software