Introduction
Les réseaux de Petri (RdP) sont un outil graphique et mathématique qui trouvent leur domaine d’application dans un grand nombre de secteurs où les notions d’événements et d’évolutions simultanées (parallèles) sont importantes. Cette théorie est encore jeune car elle est née de la thèse de Carl Adam Petri, intitulée « Communication avec des Automates » présentée en 1962 à l’université de Darmstadt.
Les RdP sont des outils de modélisation utilisés généralement en phase préliminaire de conception de système pour leur spécification fonctionnelle, modélisation et évaluation.
Utilisation
Parmi les champs d’application des RdP, on peut citer :
- L’évaluation des performances de systèmes discrets,
- Les protocoles de communication,
- La commande des ateliers de fabrication et la modélisation des chaines de production.
Les atouts des RdP
ils permettent de décrire de manière précise mais non formelle la structure d’un système, ils offrent un support graphique de conception, ils permettent de décrire un système étape par étape, en décomposant en éléments plus simples les éléments constitutifs initiaux du système, ils permettent de d'écrire `a l’aide d’un même support de base, `a la fois la structure et la dynamique d’un système, ils permettent de passer d’une description graphique d’un système à une description formelle permettant l’analyse mathématique du système (cohérence)