Résumé:
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, afin de pouvoir comprendre d’une façon
claire et facile le fonctionnement du processus. La nouvelle technologie de workflow, sert à
automatiser les processus d’entreprise, à réaliser une gestion informatique de l'ensemble des
tâches à accomplir et des différents acteurs impliqués dans sa réalisation et à fournir des
différentes méthodes de modélisation de ceux-ci. Mais ces systèmes de workflow souffrent
de l’absence de simulation et de vérification des risques de blocage et le dysfonctionnement
du système modélisé. Heureusement, il existe des techniques qui peuvent traiter ce manque.
Parmi lesquelles nous pouvons citer les réseaux de Pétri qui ont été choisis dans notre travail
pour la vérification et la simulation de nos modèles.
Du fait que les modèles des processus métiers sont des graphes et que les réseaux de
Pétri le sont aussi, Il semblait très naturel d'utiliser un ensemble de règles qui permettent de
transformer un modèle à un autre, afin de générer automatiquement les réseaux de Pétri et de
pouvoir vérifier le bon fonctionnement des processus modélisés. L’objectif de notre travail
consiste donc à faire d’une part, la modélisation des processus métier, et d’autre part, de
vérifier le déroulement de ces derniers afin d’assurer leur bon fonctionnement.
