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
Productions
0
Citations
0
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Collaborations and top research areas
Cliquez sur les points pour afficher les détails ou sélectionnez un pays dans la liste
Empreinte
Tout voirConcepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
- 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