Génération des réseaux de Pétri à partir Des modèles OSSAD

Abstract

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.