Un rapport du projet est disponible dans le fichier docs/rapport.md.
-
Notifications
You must be signed in to change notification settings - Fork 0
A meta-modeling project to discover Eclipse Modeling Framework and tools such as Acceleo, XText, Sirius, ATL, ... The goal was to develop a complete toolchain for the validation of processes, written using the SimplePDL semantic, with the Selt Model Checker for Petri Networks.
TheoBessel/Metamodeling
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A meta-modeling project to discover Eclipse Modeling Framework and tools such as Acceleo, XText, Sirius, ATL, ... The goal was to develop a complete toolchain for the validation of processes, written using the SimplePDL semantic, with the Selt Model Checker for Petri Networks.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published