Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
docs		docs
src		src
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Chaîne de vérification de modèles de processus

Un rapport du projet est disponible dans le fichier docs/rapport.md.

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.

Report repository

Releases

No releases published

Packages

Contributors

Languages