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 ...