PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Lamouri Mohamed Lamine
1
Research output
0
Citations
0
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Collaborations and top research areas
Click dots and donuts to bring up details or select a country/territory from the list
Fingerprint
View allWeighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
- Petri Nets in System Modeling
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Maude
- Petri nets
- PNML
- model-driven engineering
- automatic specification generation
- incidence matrix
- formal specification