RO EN
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Authors: Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
Keywords: Maude, Rewriting Logic, Petri Nets, Code Generation.
– 1.75 Mb
Keywords: Maude, Rewriting Logic, Petri Nets, Code Generation.
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.Ammar Boucherit1, Messaoud Abbas2, Mohammed Lamine Lamouri3
1;2;3LIAP Laboratory, University of El Oued,
PO Box 789, El Oued 39000, Algeria
1ORCID: https://orcid.org/0000-0002-1617-0050
E-mail:
2ORCID: https://orcid.org/0000-0002-7998-9020
E-mail:
3ORCID: https://orcid.org/0000-0002-1074-624X
E-mail:
Osman Hasan
ORCID: https://orcid.org/0000-0003-2562-2669
SEECS, National University of Sciences and Technology (NUST),
Islamabad, Pakistan
E-mail:
1;2;3LIAP Laboratory, University of El Oued,
PO Box 789, El Oued 39000, Algeria
1ORCID: https://orcid.org/0000-0002-1617-0050
E-mail:
2ORCID: https://orcid.org/0000-0002-7998-9020
E-mail:
3ORCID: https://orcid.org/0000-0002-1074-624X
E-mail:
Osman Hasan
ORCID: https://orcid.org/0000-0003-2562-2669
SEECS, National University of Sciences and Technology (NUST),
Islamabad, Pakistan
E-mail:
DOI
https://doi.org/10.56415/csjm.v31.14Fulltext
– 1.75 Mb
Contents
- Identifying key players in a network of child exploitation websites using Principal Component Analysis
- Total Italian domatic number of graphs
- Comprehensive Performance Study of Hashing Functions
- Deep learning-based software for detecting population density of Antarctic birds
- Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution
- An approach to Augmented Reality Classification and an example of its usage for application development with VAK learning styles Markers
- PN2Maude: An automatic tool to generate Maude specification for Petri net models
