La modélisation de processus a pour but d’avoir une représentation graphique détaillée et une spécification des différents aspects des opérations des entreprises; fonctionnels informationnels, ressources et organisationnels, ...

Le travail proposé dans ce mémoire traite la modélisation et la vérification des processus métier. Son objectif est de permettre d’une part la modélisation des processus métier coopératifs, et d’une autre, de vérifier le ...