Work

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

Year: 2023

Type: article

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.

Source: Computer Science Journal of Moldova

DOI: 10.56415/csjm.v31.14

Authors: Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan

Institutions: National University of Sciences and Technology, University of Eloued

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4385383002

FWCI:

Cites: 22

Cited by:

Related to: 10