Réseaux de Petri autonomes
Sûreté de fonctionnement des systèmes de commande - Exemple d'application et rappels sur les RdP

On trouvera une présentation complète dans les ouvrages référencés [15] [16].

Introduits au début des années 1960 par Carl Adam Petri, les réseaux de Petri (RdP) sont des modèles de description des systèmes à événements discrets.

• Définition

  Nous utiliserons la notation de David et Alla [15].

  Un RdP est un graphe orienté biparti en deux types de sommets, les places (ensemble P de cardinal p) et les transitions (ensemble T de cardinal t ), et dont les arcs sont valués par les applications : Pré (P_i , T_j ) et Post (T_i , P_j ) de P × T ou de T × P dans l'ensemble des entiers naturels positifs ${\mathbb{N}}^p$ .

  La matrice d'incidence W, à p lignes et t colonnes, du réseau de Petri résume l'ensemble des propriétés de structure :

  $$W=W^{+}-W^{-}$$

  les composantes de W ⁺ et W ^– sont respectivement les valeurs des applications Post (T_i , P_j ) et Pré (P_i , T_j ).

• Dessin d'un RdP

  La figure 1 donne un exemple de dessin d'un RdP.

• Marquage d'un RdP

  Chaque place du RdP contient un nombre entier de marques qui évolue...