Name		Name	Last commit message	Last commit date
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.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages