Académique Documents
Professionnel Documents
Culture Documents
Vademecum Petri PDF
Vademecum Petri PDF
version de la norme UML (2) et sont aussi parfois utilisés dans Dans la suite on traitera principalement des réseaux marqués, P1 P1 P P P P
l'industrie du jeu vidéo. et de l'évolution des marquages. 1 2 1 2
t1 t1 t1 t2 t1
3.Franchissement de transitions
I.NOTATIONS ET RÈGLES DE FRANCHISSEMENT Pour rendre compte de P1 P1
P2 P3
P 3
P P 3
P2 4
l'évolution du système
modélisé, les réseaux de Petri Pur Simple
1.Places, transitions et arcs intègrent un formalisme
t1 t1
Possible Impossible Possible Impossible
Un réseau de Petri est : permettant de passer d'un
• un graphe, marquage à un autre : c'est le P2 P2 P3
P 1
P 1
transitions reliés par des arcs orientés, Une transition est Franchissement de t1 t 1
t P 1
t t2
t t t 1
3 1 2 1
• et biparti, c'est-à-dire qu'un arc relie alternativement une franchissable si chacune des
place à une transition et une transition à une place. places en entrée comporte au P1 P1 P
2
P P 3 2
P P 4
P P
3
P 4 3 4
moins un jeton.
P1 Pour les transitions
t1 t1
P1
t1
franchissables, on définit le II.PROPRIÉTÉS DES RÉSEAUX DE PETRI
franchissement effectif selon Dans la suite on appellera M0 le marquage initial. Et *M0
t1 les règles suivantes : P2 P3 l'ensemble des marquages accessibles à partir du marquage
P2
• le franchissement est une
t2 M0 initial.
P2 opération indivisible (atomique), On notera la franchissabilité d'une transition tj à partir d'un
P2 • un jeton est consommé dans chaque place en entrée, marquage Mi comme suit: Mi[tj>
• un jeton est produit dans chaque place en sortie. Si le marquage résultant est M'i alors on notera : Mi[tj>M'i
Lorsqu'une place est reliée à une transition par un arc : Pitj,
on parle de place en entrée de tj. Cette notation est extensible aux séquences de transitions. On
4.Réseaux particuliers note dans ce cas la franchissabilité de la séquence comme
Lorsqu'une transition est reliée à une place par un arc tjPi,
on parle de place en sortie de tj. Le graphe associé à un réseau de Petri peut être très suit : Mi[tjtk>
Une transition sans place en entrée est une transition source, complexe. Un certain nombre de situations présente un intérêt Par ailleurs on définit une notion d'ordre sur les marquages en
une transition sans place en sortie est une transition puits. particulier : définissant la notion de couverture. Un marquage M' couvre
un marquage M (on dit aussi : M' est supérieur à M) si le
nombre de marques dans chaque place du réseau M'(Pi) pour t2 5.État d'accueil et réseaux ré-initialisables
M' est supérieur au nombre de marques pour chaque place
M(Pi) dans M. Soit : Un état d'accueil pour un réseau t2
M ' ≥M ⇔ ∀ P i M ' P i ≥M P i t1 t3 et son marquage initial est un
marquage particulier Ma tel qu'il
existe un chemin (une séquence
1.Réseaux bornés et/ou binaires de transitions franchissables)P P2
Attention : cette propriété, comme les suivantes, est définie P1 P2 P3 menant à Ma pour tous les 1
pour un marquage M0 donné. Sa validité pour un autre marquages accessibles.
Exemple de réseau vivant
marquage n'est en rien garantie. Il est donc toujours possible,
Une place est dite bornée pour un marquage initial M0 si il 3.Quasi-vivacité quelques soient les transitions t1
existe un entier k tel que pour tous les marquages accessibles La quasi-vivacité va définir une propriété moins contraignante déjà franchies, de revenir à l'état Réseau réinitialisable
depuis M0 et pour toutes les places du réseau, le nombre de que la vivacité. Là ou la vivacité exige que la transition soit d'accueil en franchissant de
jetons dans chaque place est inférieur à k. La place est dite k- franchissable à partir de tout marquage, la quasi-vivacité nouvelles transitions.
borné. impose juste l'existence d'une séquence de transition Si M0 s'avère être un état d'accueil, alors le réseau est dit
Un réseau dont toutes les places sont bornées est lui même permettant de franchir tj, depuis le seul marquage initial. réinitialisable.
borné. t2
Enfin un réseau 1-borné (chaque place contient au maximum 6.Composantes conservatives & invariants
un jeton) est dit sauf ou binaire.
t1 Un invariant de marquage est une propriété du marquage
Réseau borné Réseau non borné
d'un ensemble de places du réseau.
P1 P2
P1 On est en présence d'un invariant de marquage si, pour un
T2 est quasi vivante ensemble donné de places, il existe une combinaison linéaire
t 1 P1 Un réseau dont toutes les transitions sont quasi-vivantes est dit des marques présentes dans les places de valeur constante
t1
quasi-vivant. quelque soit l'évolution du réseau (et donc pour tous les
On peut donc dire de manière simple qu'un tel réseau ne marquages accessibles).
comporte pas de branches mortes pour le marquage initial, il Il existe donc dans ce cas un vecteur V dit de pondération :
P2 existe toujours au moins un moyen de franchir chaque
P2 transition en partant de M0.
V =1, 2, ... , n
Et l'invariant de marquage résulte de la propriété suivante :
2.Vivacité
4.Blocage ∀ M ∈* M 0 , ∑ i . M P i =cte
Seules certaines places interviennent dans l'invariant de
Un blocage correspond à un marquage du réseau de Petri
La vivacité porte sur les transitions. Une transition tj est dite pour lequel plus aucune transition n'est franchissable. marquage (on a pour ces places : qi non nul), l'ensemble des
vivante pour un marquage initial M0 si depuis tout marquage Un réseau est dit sans blocage si aucun marquage de places en question forme une composante conservative notée
accessible il est possible de trouver une séquence de l'ensemble des marquages accessibles *M n'est un blocage. P(V).
0
transitions amenant à franchir tj. Dans un tel réseau il sera
toujours possible de re-franchir tj, peu importe les transitions P1 P1
déjà franchies. La vivacité est donc une propriété très forte.
Un réseau dont toutes les transitions sont vivantes est dit t t t t
vivant.
1 2 1 2
t3 P2 t3 P2
P3 M0 P3 M1
M1 est un blocage
P1 Dans le réseau ci-contre, on 2.Arbre et graphe de couverture d'incidence arrière
peut trouver deux invariants La valeur du poids est 1 lorsque l'arc existe et 0 sinon (cette
L'inconvénient de la méthode précédente est rédhibitoire : tous définition est naturellement extensible aux réseaux
de marquages :
les réseaux n'ont pas un graphe des marquages accessibles généralisés).
1. m(P1)+m(P2)+m(P4) = 1
fini...
2. m(P1)+m(P3)+m(P5) = 1
On propose donc une méthode alternative. Le mécanisme de
P2 P3 Invariants correspondants à 1.Matrices d'incidence
construction est le même que pour le graphe des marquages
deux composantes
accessibles. A ceci prêt que pour chaque nouveau marquage Les ensembles P et T sont finis et discrets, on peut donc
conservatives :
(noeud du graphe) ajouté, on vérifie s'il n'est pas supérieur à représenter les applications Pre et Post sous forme matricielle.
1. { P1, P2, P4}
un marquage déjà présent sur au moins une séquence entre On définit ainsi W- la matrice d'incidence avant comme suit :
2. { P1, P3, P5}
P4 P5 M0 et le nouveau marquage. [w i–, j ] avec w i–, j =Pre P i , t j
Si tel est le cas tous les marquages de place supérieurs sont
Et W+ la matrice d'incidence avant :
remplacés par ω. Ce symbole matérialise le fait que la place + +
en question peut contenir autant de jetons que souhaité (elle [ w i , j ] avec w i , j = Post P i , t j
est donc non bornée). Enfin on déduit la matrice d'incidence W :
P1 W =W +−W –
III.GRAPHE DES MARQUAGES ET DE COUVERTURE T2
Pour le réseau suivant on a :
[] []
Jusqu'à présent aucune méthode n'a été proposée pour 0 0
t1 t2 t3
1 0
[ ]
déterminer les propriétés d'un réseau. Ce premier chapitre va t1 T3
T2 P1 1 0 0 P1
[] []
présenter les méthodes « graphiques », le suivant les méthodes P2 1 0
0 1
–
fondées sur l'algèbre linéaire. M0= 0 T1 1 W = 0 1 1 P2
t2 0 0
0 0 1 P3
[]
t3 0 0
0 t1
1.Arbre et graphe des marquages accessibles T3 0
P2 0 0 0
0 P4
P3 P4 t2
Première méthode : construire de manière exhaustive le 1
graphe des marquages accessibles. Cette méthode est t1 t2 t3
[ ]
extrêmement simple. Dans la suite, les places non bornées le demeurent 0 0 0 P1
P
Les noeuds du graphe sont formés des différents marquages naturellement et ceci quelles que soient les transitions 3 P4 W + =
1 0 0 P2
de *M0. On démarre avec le seul marquage initial, et l'on va franchies, ainsi le symbole ω ne disparaît jamais. t3
construire les différents arcs et noeuds progressivement. Cette méthode produit le graphe de couverture, un graphe fini 0 1 0 P3
Pour chaque nouveau marquage on détermine l'ensemble des dans tous les cas. 0 0 1 P4
transitions franchissables et pour chaque transition de cet Comme pour le graphe des marquages accessibles, on va
ensemble on ajoute un arc vers le nouveau marquage. pouvoir déduire de l'observation du graphe de couverture un Attention : la matrice d'incidence n'a de sens que dans le cas
des réseaux purs. En effet, dans les réseaux non purs, où une
Si un marquage est déjà présent dans le graphe, on se certain nombre de propriétés pour le réseau de Petri.
place est en entrée et en sortie de la même transition, le solde
contente de tracer l'arc.
IV.ALGÈBRE LINÉAIRE ET RÉSEAUX DE PETRI des marquages est nul, la matrice d'incidence perd donc une
P1 partie de l'information.
[]
0 Soit R un réseau de Petri non marqué, on peut décrire R au
1 moyen de deux applications :
T2 0
Pre : P×T {0, 1} 2.Équation fondamentale
[]
1
t1 t2 M0= 0 Post : P×T {0, 1} Soit S une séquence de franchissement, telle que :
0
ou P est l'ensemble des places et T l'ensemble des transitions. M i [ S M k
[]
T1 0
0 Pre(Pi,tj) représente le poids de l'arc reliant Pi à tj et Post(Pi,tj) On définit S, vecteur caractéristique de la séquence S en
P2 1 représente le poids de l'arc reliant tj à Pi. précisant pour chaque transition le nombre de fois où la
t3 Pre est appelée fonction d'incidence avant, et Post fonction transition est franchie dans la séquence.
P3 T3
Pour le réseau précédent, on a par exemple : 2. On supprime les transitions en entrée et sortie de la place ( 3.R3 : suppression des transitions neutres
S =t 1 t 2, et S =1,1 °P et P°),
Une transition neutre est une transition dont les places en
Compte tenu de ces différentes définitions on a l'équation 3. On crée une transition ti,j par couple (ti,tj) des transitions en entrée sont aussi les places en sortie.
fondamentale suivante : entrée et sortie dont les places en entrée sont celle de ti et
les places en sorties celle de tj. On peut supprimer une telle transition tj si par ailleurs
M k =M i W . S
Si la place supprimée est marquée deux cas sont possibles : chaque place en entrée ou sortie de de tj dispose d'au moins
Cette équation permet de calculer en une opération, sans
1. s'il n'existe qu'une transition en sortie, alors le marquage une transition en entrée autre que tj (cette définition peut être
parcours du réseau le marquage obtenu après le
est celui qui aurait été obtenu après franchissement de étendue au réseaux généralisés).
franchissement de la séquence complète. La réduction consiste à supprimer la transition et les arcs en
cette transition,
Attention : Les résultats de l'équation fondamentale, même s'ils
2. sinon, il faut considérer tous les cas de franchissement entrée et sortie.
sont toujours calculables, n'ont de sens que si la séquence S
possibles et travailler sur autant de réseaux (on a donc Exemple :
est effectivement franchissable. t1 t1
réduit la taille du réseau, mais on en a désormais plusieurs
à étudier). R3
3.Composantes conservatives & invariants Exemples : t3
La matrice d'incidence permet aussi de détecter des invariants
de marquage, en effet, en partant de l'équation fondamentale t2 t2
on montre que, si V est un vecteur de pondération, et P(V) la 4.R4 : suppression des transitions identiques
composante conservative associée, alors on a : t1 t12
Deux transitions ti et tj sont identiques si elles ont les mêmes
V T . W =0 R1
ensembles de places en entrée et les mêmes ensembles de
ou VT désigne la transformée du vecteur V.
places en sortie.
La réduction R4 consiste à supprimer l'une des deux transitions
V.MÉTHODES DE RÉDUCTIONS
t2
ainsi que les arcs associés.
L'inconvénient lorsqu'on applique les méthodes précédentes Exemple :
est la taille du réseau de Petri. On a donc recherché des
méthodes visant à réduire la taille du réseau tout en 2.R2 : suppression des places implicites
conservant les propriétés essentielles. Le réseau équivalent
obtenu permettant alors plus simplement de démontrer les Une place est dite implicite si :
propriétés du réseau original. 1. son marquage n'a aucun impact sur le franchissement de R4
6 méthodes sont détaillées ici. ses transitions en sortie,
Note : dans la suite les notations t°, °t, P°, °P désigneront 2. ce même marquage est une combinaison linéaire des
respectivement les places en sortie, les places en entrée de la marquages des autres places du réseau soit :
transition t et les transitions en sortie, les transitions en entrée
de la place P. ∑
M P i =
k ≠i
a k . M P k b
5.Ra : suppression des transitions impures
Une place implicite est supprimable, la méthode consiste à
1.R1: substitution de places supprimer la place et les arcs en entrée et sortie. Une transition impure est une transition dont au moins une
Exemple : des places en entrée est aussi place en sortie.
3 conditions à cette réduction : La réduction Ra consiste à supprimer les arcs entrant et sortant
1. les transitions en sortie de la Place à substituer (Pi) n'ont correspondant aux places à la fois entrée et sortie. Ensuite à
aucune autre place en entrée, R2 supprimer la transition elle même si elle est isolée (non reliée
2. les transitions en sortie de Pi ne sont pas impures, t1 t1 à une place).
3. au moins une transition en sortie n'est pas une transition Exemple :
puits.
Méthode de réduction :
1. On supprime la place,
des propriétés présentées conservent les invariants de temporisés) ou des durées aux transitions (on parle de réseaux
marquage et permettent de déterminer les composantes T-temporisés). De tels réseaux vont permettre d'établir des
conservatives. propriétés en fonctionnement à vitesse maximale ou en régime
Ra stationnaire.
VI.E XTENSIONS DES RÉSEAUX DE P ETRI En allant plus loin on peut même définir les réseaux de Petri
Différentes extensions aux réseaux de Petri ont été proposées, interprétés qui sont :
en général les propriétés des réseaux de Petri s'étendent à ces • des réseaux synchronisés (le franchissement est conditionné
réseaux (parfois moyennant des ajustements). à des événements extérieurs),
• des réseaux P-temporisés,
6.Rb : suppression des transitions pures • des réseaux qui comportent une partie opérative : c'est à
1.Réseaux généralisés
Pour les transitions pures (non impures) il est possible de dire que des actions peuvent être associées à chaque
procéder à une réduction si la transition n'est ni une transition Jusqu'à présent le franchissement de transition ne consomme place. Ces actions agissant notamment sur des variables
source, ni une transition puits. qu'un jeton par place. Il est possible de valuer les arcs du d'état du système.
La réduction consiste à : réseau en indiquant un poids. De tels réseaux sont dit Le réseau de Petri interprété va donc permettre de décrire des
1. supprimer la transition, généralisés. systèmes dont le fonctionnement est lié à des éléments
2. remplacer les places en entrée et en sortie par de Le franchissement d'une transition peut alors consommer extérieurs et dont l'évolution provoque la réalisation d'actions.
nouvelles places correspondant aux couples (Pi,Pk) tels que plusieurs marques (selon le poids de l'arc) dans chaque place Ce type de réseaux est à l'origine du GRAFCET proposé en
Pi est une place en entrée et Pk est une place en sortie, en entrée et en produire plusieurs dans chaque place en 1977 par l'AFCET (Association française pour la cybernétique
3. Relier ces nouvelles places selon la méthode suivante : sortie. économique et technique) aujourd'hui devenue ASTI en
• les transitions en entrée de (Pi,Pk) sont celles des deux collaboration avec les acteurs industriels majeurs du secteur
places sauf tj, 2.Réseaux avec arcs inhibiteurs (EDF, Peugeot, Merlin-Gérin, Télémécanique).
• les transitions en sortie de (Pi,Pk) sont celles des deux Une autre extension des réseaux ordinaires consiste à
places sauf tj. permettre de tester l'absence de marques dans une place, 2.Évolution de la notation
4. Marquer chaque couple (Pi,Pk) avec un nombre de jetons alors que lors d'un franchissement classique, on vérifie au
égal à la somme des jetons de Pi et Pk. A l'origine l'AFCET a proposé pour le GRAFCET une notation
contraire la présence d'une marque qui est consommée. quasi-identique à celle déjà utilisée dans les réseaux de Petri.
Exemple : Lorsqu'une place en entrée est reliée à une transition par un Cependant ce n'est pas la notation utilisée par les
arc inhibiteur, cette transition n'est franchissable que si la professionnels qui ont adopté et défini une notation
place est vide (à ceci peut s'ajouter les conditions sur les normalisée.
P1 P2 autres places naturellement).
P2+P3
R
Lors du franchissement la place en question reste vide.
Rb
VII.GRAFCET Action
P1+P3
Dans le cas du GRAFCET on ne parlera pas de place, mais
P3 1.Origine d'étape (correspondant au processus modélisé). Lorsque le
Jusqu'à présent les seuls réseaux de Petri décrits sont des jeton (dans un GRAFCET, une place contient au maximum un
réseaux autonomes. C'est à dire que le franchissement effectif jeton) est dans une place, on parle d'étape active.
7.Récapitulatif des propriétés conservées d'une transition n'est conditionné à aucun élément extérieur. On remarque que le GRAFCET n'oriente pas ces arcs. Cette
Les réductions R1 à R4 conservent les propriétés décrites Un autre catégorie de réseaux consiste justement à lier le simplification est rendue possible car un GRAFCET se lit de
précédemment, à savoir : réseau borné, vivant, quasi-vivant, franchissement à des contraintes (conditions, survenue d'un haut en bas. Seul l'arc allant de bas en haut et permettant de
événement, ...), on parle de réseaux non autonomes. revenir à l'état initial est orienté.
avec état d'accueil, avec ou sans blocage.
Parmi les réseaux non autonomes le plus évident est le réseau Il s'agit donc d'une différence de présentation essentielle :
En revanche ces 4 méthodes ne permettent pas de conserver
de Petri temporisé dans lequel on impose un délai d'attente quand un réseau de Petri pouvait s'écrire dans toutes les
les caractéristiques liées aux invariants de marquage.
aux marques dans les places (on parle de réseaux P- directions, le GRAFCET impose un sens de lecture.
A l'inverse, les méthodes R et R si elles ne conservent aucune
a b
En outre le GRAFCET adopte une notation particulière pour instant :
matérialiser le marquage initial : Dans un réseau de Petri ordinaire, on choisit de franchir une 1
transition parmi les deux, ici on va franchir les transitions
ensemble :
Étape initiale Étape active Étape inactive m.c1
Concernant le franchissement des transitions le GRAFCET
adopte à la fois une notation et un vocabulaire particulier.
ET OU
jonction
2 V1 3 V2
distribution
ou c2 c4