Cours Petri Etudiant GS 2006 PDF

UNIVERSIT
E de CAEN/BASSENORMANDIE
U.F.R. : SCIENCES CAEN
R eseaux de Petri
Cours EL401T2
Master 1A Mention EEA Parcours AEII
G. Scorletti et G. Binet
Matres de conf erences ` a lUniversit e de Caen
GREYC AUTO
6 bd du Mar echal Juin, F14050 Caen cedex
Tel : 02 31 45 27 12
e-mail : scorletti@unicaen.fr
c _G erard Scorletti, France, 2006
Page web : http ://www.greyc.ensicaen.fr/EquipeAuto/Gerard S/mait Petri.html
20 juin 2006
2
Table des mati` eres
1 Introduction 1
1.1 Syst` emes et mod` eles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Notions g en erales sur les syst` emes et mod` eles . . . . . . . . . . . . . . 1
1.1.2 Un mod` ele, pour quoi faire ? . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Quelques classes de syst` emes ` a variables discr` etes . . . . . . . . . . . . . . . . 5
2 Mod elisation par R eseaux de Petri 9
2.1 Mod` ele de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.1 Elements de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.2 Evolution dun RdP . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.3 Exemples de R eseaux de Petri . . . . . . . . . . . . . . . . . . . . . . 15
2.1.4 R eseaux de Petri avec une structure particuli` ere . . . . . . . . . . . . . 17
2.2 Structures fondamentales pour la mod elisation des syst` emes . . . . . . . . . . 20
2.2.1 Elements de mod elisation . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.1.1 Parall elisme . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.1.2 Synchronisation . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.1.3 Partage de ressources . . . . . . . . . . . . . . . . . . . . . 25
2.2.1.4 M emorisation . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2.1.5 Lecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2.1.6 Capacit e limit e . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2.2 Mod elisation structur ee . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.2.2.1 Approche par afnements successifs . . . . . . . . . . . . . 30
2.2.2.2 Approche par compositions de RdPs . . . . . . . . . . . . . 31
3 Propri et es des R eseaux de Petri (ordinaires) 35
3.1 Notations et d enitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Propri et es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.1 R eseau de Petri born e et R eseau sauf . . . . . . . . . . . . . . . . . . 37
3.2.2 Vivacit e et blocage . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.3 Conits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3 Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.1 Composante conservative . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.2 Composante r ep etitive . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4 Etude des propri et es des R eseaux de Petri par graphes et arborescences de mar-
quages 43
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.2 Construction de larborescence de couverture . . . . . . . . . . . . . . . . . . 45
4.3 Propri et es et int er ets de larborescence (graphe) de couverture . . . . . . . . . 45
3
4
5 Etude des propri et es des R eseaux de Petri par alg` ebre lin eaire 47
5.1 Notations et d enitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.1.1 Structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.1.2 Marquage, evolution . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.2 Equation fondamentale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.3 Pond eration des places et invariants de marquage . . . . . . . . . . . . . . . . 54
5.3.1 Pond erations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3.2 Invariants de marquage . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.4 Composantes r ep etitives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.5 Remarque sur le lien entre RdP ordinaire et RdP g en eralis e . . . . . . . . . . . 58
6 Etude des propri et es des R eseaux de Petri par r eduction 59
6.1 R` egles de r eduction pr eservant la vivacit e et la bornitude . . . . . . . . . . . . 59
6.1.1 R` egle de r eduction R1 : substitution de places . . . . . . . . . . . . . . 59
6.1.2 R` egle de r eduction R2 : place implicite . . . . . . . . . . . . . . . . . 62
6.1.3 R` egle de r eduction R3 : transition neutre . . . . . . . . . . . . . . . . 64
6.1.4 R` egle de r eduction R4 : transitions identiques . . . . . . . . . . . . . . 64
6.1.5 Exemple de mise en uvre des diff erentes r` egles R1 ` a R4 . . . . . . . 65
6.2 R` egles de r eduction pr eservant les invariants de marquage . . . . . . . . . . . 66
6.2.1 R` egle de r eduction Ra : transition impure . . . . . . . . . . . . . . . . 66
6.2.2 R` egle de r eduction Rb : transition pure . . . . . . . . . . . . . . . . . 67
6.2.3 Exemple de mise en uvre des r` egles Ra et Rb . . . . . . . . . . . . . 67
6.2.4 Remarques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
7 R eseaux de Petri color es 69
7.1 Introduction aux RdPs color es ` a travers des exemples . . . . . . . . . . . . . . 70
7.2 R eseaux de Petri color es (simpli es) . . . . . . . . . . . . . . . . . . . . . . . 75
7.2.1 D enition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
7.2.2 Evolution du marquage dun RdP color e . . . . . . . . . . . . . . . . . 76
7.2.3 Analyse dun RdP color e marqu e . . . . . . . . . . . . . . . . . . . . 77
7.3 Un exemple dapplication ` a la mod elisation de syst` emes de production . . . . . 77
7.3.1 Mod elisation dun convoyeur de type FIFO . . . . . . . . . . . . . . . 77
7.3.2 Mod elisation dune machine sur un convoyeur FIFO . . . . . . . . . . 79
8 R eseaux de Petri non autonomes 83
8.1 R eseaux de Petri synchronis es (RdPS) . . . . . . . . . . . . . . . . . . . . . . 83
8.1.1

Ev enements associ es ` a une variable logique . . . . . . . . . . . . . . . 83
8.1.2 D enition dun R eseau de Petri Synchronis e . . . . . . . . . . . . . . 84
8.1.3 Propri et es des RdPs synchronis es . . . . . . . . . . . . . . . . . . . . 86
8.2 R eseaux de Petri temporis es . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
5
Documents de r ef erence
Ce document de cours suit fortement la pr esentation et les r esultats pr esent es dans le livre
[2] disponible ` a la biblioth` eque universitaire (BU) de Caen. Il est n eanmoins aussi bas e sur
les livres [1, 4] et pour la partie R eseaux de Petri color es [3] eux aussi disponibles ` a la
BU;
le document de cours de Robert Valette disponible sur la page WEB :
http://www.laas.fr/robert/
lensemble des documents disponibles sur la page WEB consacr ee aux R eseaux de Petri :
http://www.daimi.au.dk/PetriNets/
6
Chapitre 1
Introduction
Les syst` emes technologiques, de plus en plus souvent dune grande complexit e, qui ont en-
vahi notre quotidien sont luvre des ing enieurs. Pour ling enieur, se posent alors plusieurs
probl` emes importants : comment r eussir ` a appr ehender le comportement de ses syst` emes an
de les concevoir, les r ealiser et/ou les commander ? La description du comportement attendu du
syst` eme constitue le cahier des charges. Celui-ci est en g en eral d eni par diff erents intervenants,
int eress es par les aspects fonctionnels du produit, les besoins du consommateurs, les contraintes
de co ut, le marketing, etc... Du fait de la complexit e de plus en plus forte des syst` emes techno-
logiques, il apparat de plus en plus n ecessaire de disposer de m ethodes et doutils de concep-
tion, de r ealisation et/ou de commande qui soient particuli` erement efcaces. Au centre de ces
m ethodes et de ces outils, se trouve en g en eral la mod elisation.
Lobjectif de ce cours est de pr esenter la mod elisation par R eseaux de Petri. Les R eseaux de
Petri ont et e d evelopp es pour permettre la mod elisation de classes importantes de syst` emes qui
recouvrent des classes de syst` emes de production, de syst` emes automatis es, de syst` emes infor-
matiques et de syst` emes de communication, pour nen citer que quelques-uns, an de permettre
leur conception, leur evaluation et leur am elioration.
Dans ce chapitre dintroduction, les notions de syst` eme et de mod` ele sont rappel ees : la
mod elisation par R eseaux de Petri est mise en perspective avec les outils de mod elisation
pr ec edemment etudi es. Lint er et de la mod elisation est ensuite discut ee. Le chapitre se ter-
mine sur une discussion succincte sur les syst` emes auxquels les R eseaux de Petri peuvent etre
appliqu es.
1.1 Syst` emes et mod` eles
1.1.1 Notions g en erales sur les syst` emes et mod` eles
Un syst` eme est une portion de la r ealit e d enie par une fronti` ere organis ee en fonction dun
but. En g en eral, un syst` eme est constitu e par un ensemble d el ements en interaction dynamique.
Il poss` ede des entr ees et des sorties. Elles sont caract eris ees par des variables de ux.
Exemple distributeur de boissons
Flux Entr ees Sorties
Produit
Energie
Information
1
2 CHAPITRE 1 INTRODUCTION
SYSTEME
Information
Information
Produit
Energie
Energie
Produit
Entrees
Sorties
FIG. 1.1 Syst` eme
Un mod` ele est une repr esentation, souvent en termes math ematiques, des relations qui
existent entre les variables de sortie et les variables dentr ee dun syst` eme. Cette repr esentation
n ecessite souvent lintroduction de variables suppl ementaires appel ees variables d etat. A un
instant donn e, la valeur des variables d etat caract erise un syst` eme : leur connaissance avec
celle des valeurs dans le futur des variables dentr ee permet ` a laide du mod` ele de d eterminer
les valeurs des variables de sortie dans le futur.
Exemple distributeur de boissons (suite) Les variables d etat qui vont caract eriser le distri-
buteur de boissons sont
Un sc enario est constitu e par un instant initial t

0
, un instant nal t
1
> t
0
, la valeur des
variables d etat ` a linstant initial t
0
et par la valeur des variables dentr ee pour chaque instant
appartenant ` a lintervalle [t
0
, t
1
].
Un mod` ele serait id eal sil est capable de reproduire de facon exacte le comportement du
syst` eme. Cela signie que si, ` a un instant donn e, on connat la valeur des variables d etat du
syst` eme et que si on connat la valeur des variables dentr ee dans le futur (et le pr esent), les
relations math ematiques qui constituent le mod` ele permettent de d eterminer exactement les
valeurs des variables de sortie qui peuvent etre observ ees exp erimentalement. Un des principes
fondamentaux (et philosophiques) des Sciences de lIng enieur est quil est impossible dobtenir
le mod` ele id eal dun syst` eme. Au mieux, on peut obtenir un bon mod` ele, cest-` a-dire, un
mod` ele qui permette de d eterminer de facon approch ee les valeurs des variables de sortie qui
peuvent etre observ ees exp erimentalement.
Exemple du R eservoir Le syst` eme R eservoir est repr esent e Figure 1.2. Le r eservoir rempli
dune hauteur h(t) de liquide est aliment e par un d ebit d
entree
(t) de liquide en haut du r eservoir.
Le liquide s echappe ` a la base par une vanne pour laquelle il est possible de modier la section
de louverture en agissant sur la valeur de la variable v(t). Il s echappe avec un d ebit d
sortie
(t).
variables dentr ee :
variables de sortie :
variables d etat :
G. SCORLETTI ET G. BINET VERSION PROVISOIRE DU 20 JUIN 2006 3
debit dentree
debit de sortie
h
vanne
FIG. 1.2 Syst` eme R eservoir
La variable de sortie, cest-` a-dire le d ebit qui s echappe, peut sexprimer en fonction de h(t) et
de v(t) :
d
sortie
(t) = 2v(t)
_
h(t). (1.1)
La variation de la hauteur deau est reli ee aux d ebits dentr ee et de sortie :
S
dh(t)
dt
= d
entree
(t) d
sortie
(t) (1.2)
o` u S est la section du r eservoir. Les equations (1.1) et (1.2) constituent le mod` ele du syst` eme
R eservoir.
Les variables dun syst` eme peuvent etre de nature diff erente, par exemple :
continues d enies sur R (par exemple, pour le r eservoir,
discr` etes d enies sur N (par exemple, pour le distributeur,
logiques d enies sur 0, 1 (par exemple, pour le distributeur,
Les variables varient en fonction du temps : ce sont donc des signaux. On peut d enir diff erents
types de signaux, par exemple :
signaux en temps continu :
R
+
R
t s(t)
signaux en temps discret : avec T
s
la p eriode d echantillonnage
N R
k s(kT
s
)
Suivant la nature des variables dentr ee, de sortie et d etat, les outils de mod elisation utilis es
sont diff erents. Dans le tableau qui suit, est pr esent e un ensemble non exhaustif doutils de
mod elisation pr ec edemment etudi es.
Les entr ees, sorties, etats
sont des variables
Outils de mod elisation Cours / Dipl ome
Continues en temps continu Equations diff erentielles, Transform ee de Laplace
Automatique
Licence 3A
Continues en temps discret Equations de r ecurrence, Transform ee en Z
TNS, Automatique
Master 1A
Logiques Machines de Mealy & de Moore
Logique s equentielle
Licence 3A
Discr` etes R eseaux de Petri
R eseaux de Petri
Master 1A
Les R eseaux de Petri ont et e invent es par Carl Maria Petri au d ebut des ann ees soixante. Des
travaux ult erieurs ont permis de d evelopper les R eseaux de Petri comme un outil de mod elisation
des syst` emes ` a variables dentr ee, de sortie et d etat discr` etes. Cest aussi un outil de mod elisation
pour les syst` emes ` a variables logiques puisque ceux-ci sont un cas particulier des syst` emes ` a
variables discr` etes.
Un caract` ere tr` es int eressant est que les mod` eles R eseaux de Petri sont sous la forme dune
repr esentation math ematique graphique. Ce point est important car le fait d ecrire sous forme
graphique un mod` ele plut ot que sous forme d equations peut permettre de le rendre lisible par
des personnes dont la formation scientique nest pas forcement pouss ee. Le mod` ele R eseaux de
Petri a dailleurs donn e naissance au Grafcet, un langage de sp ecication et de programmation
dautomates industriels. Dans le langage Grafcet, le caract` ere graphique est ici fondamental car
ce langage doit etre accessible ` a la fois ` a lindustriel, ling enieur, le technicien et louvrier car
cest un outil graphique. Les automates et le Grafcet seront etudi es en Master Professionnel 2A.
1.1.2 Un mod` ele, pour quoi faire ?
Lutilisation de mod` eles prend une part de plus en plus importante dans les projets techno-
logiques men es par les ing enieurs, que ce soit pour la d enition de syst` emes, leur conception,
leur r ealisation et m eme leur int egration (mise en uvre), leur maintenance et leur exploitation.
Par d enition, un mod` ele est une repr esentation dun syst` eme : il peut ainsi permettre de
d ecrire de facon non equivoque un syst` eme technologique. De sa d enition ` a son exploita-
tion, un syst` eme technologique va etre appr ehend e par diff erentes personnes (ing enieurs,
etc..) sous des points de vue diff erents (conception, r ealisation, maintenance, exploita-
tion, etc..). Le passage dune personne ` a lautre doit alors se faire sans perte dinforma-
tion, ce que permet lutilisation dun mod` ele. Ce probl` eme est sufsamment central pour
quun enorme effort soit consacr e au niveau de la d enition et de la mise en uvre de
normes et de standards industriels. Par exemple, la mod elisation du fonctionnement de-
mand e ` a un automate industriel est possible par lutilisation du Grafcet, qui est un outil de
mod elisation d erivant des R eseaux de Petri. Le langage Grafcet a fait lobjet de plusieurs
normes.
Lors de la conception dun nouveau syst` eme technologique, le cahier des charges exprime
le comportement attendu du syst` eme. La question fondamentale est de garantir que le
syst` eme qui a et e concu (sur le papier) remplit bien le cahier des charges, voire poss` ede
un comportement satisfaisant. Lapproche traditionnelle de la conception dun syst` eme
consiste ` a le concevoir sur le papier, ` a le r ealiser et ` a faire des exp eriences sur le syst` eme
correspondant ` a des sc enarios types an de v erier si son comportement est satisfaisant
et sil est n ecessaire de lam eliorer voire de le re concevoir. Cette approche pose plusieurs
probl` emes. Dans certains cas, il est impossible de r ealiser des exp eriences sur le syst` eme
(par exemple, syst` emes spatiaux). Parfois, cela peut etre dangereux si des informations
manquent sur son comportement possible. De facon plus courante, une telle approche est
longue et co uteuse, ce que permettent de moins en moins les contraintes economiques.
Une alternative est de d enir le syst` eme technologique ` a laide dun mod` ele. En plus de
lavantage vu pr ec edemment, pour un sc enario donn e, un mod` ele permet en g en eral de
calculer num eriquement les valeurs des variables d etat et de sortie, ce qui est plus court
et plus economique que de les mesurer au cours dune exp erience. Cela est d esign e par
le terme de simulation. La simulation permet ainsi dans une certaine mesure de tester si
le comportement du syst` eme est satisfaisant et de mettre en evidence certains probl` emes.
Elle ne remplace pas compl` etement lexp erimentation quil est n ecessaire deffectuer si ` a
lissue de la simulation le comportement du syst` eme semble satisfaisant.
Le probl` eme de la simulation est que, m eme si le mod` ele est bon, on ne peut tester quun
nombre limit e de sc enarios. Si le choix des sc enarios types nest pas pertinent par rapport
` a lensemble des sc enarios auxquels sera confront e le syst` eme durant son existence, il
est difcile de pr evoir si le comportement du syst` eme sera satisfaisant dans tous les cas.
Une alternative est de parfois pourvoir garantir qu` a partir dune propri et e du mod` ele, le
mod` ele etant suppos e bon, le comportement du syst` eme sera (ou non) satisfaisant pour
une famille de sc enarios. On parle danalyse. Lanalyse dun syst` eme repose sur l etude
des propri et es math ematiques de son mod` ele.
Exemple danalyse On consid` ere un syst` eme en temps discret dentr ee u et de sortie y, u et
y etant des variables continues. Le mod` ele reliant ces deux variables est donn e par une fonction
de transfert ecrite dans le domaine en Z :
Y (z) = F(z)U(z).
On veut garantir que pour toute variable dentr ee born ee cest-` a-dire telle quil existe M > 0
tel que :
k 0, [u(k)[ M,
la variable de sortie y(k) est elle-m eme born ee. On pourrait essayer de simuler tous les sc enarios
possibles, cest-` a-dire de calculer les sorties y(k) pour toutes les entr ees u(k) born ees. Or le
nombre dentr ees possibles est inni, ce qui correspond ` a un nombre inni de sc enarios... Une
alternative est de calculer les racines du d enominateur de la fonction de transfert F(z). Pour
garantir cette propri et e, il suft de v erier si les racines sont de module strictement inf erieur ` a
un. Ainsi, si cest le cas, sans faire la moindre simulation, on peut garantir que les sorties seront
born ees pour toutes entr ees born ees. De plus, lutilisation de la simulation naurait permis de
v erier que les sorties sont born ees que pour un nombre limit e dentr ees et pour un intervalle
de temps lui aussi limit e.
Le r ole de la mod elisation dans la conception des syst` emes est r esum e Figure 1.3.
1.2 Quelques classes de syst` emes ` a variables discr` etes
Les R eseaux de Petri permettent la mod elisation de syst` emes ` a variables dentr ee, d etat
et de sortie discr` etes. Quels types de syst` emes cela recouvre-t-il ? On va simplement pr esenter
succinctement quelques classes de syst` emes ; cette pr esentation n etant pas exhaustive.
Une premi` ere application est la mod elisation de processus de fabrication de syst` emes in-
dustriels manufacturiers. Un processus est une suite dop erations effectu ees dans un ordre bien
Redaction
Cahier des charges
Conception
Systeme
Modelisation
(Reseaux de Petri)
Analyse Proprietes
Modele
Simulation
Modele
Cahier des charges
OK ?
Comportement
OK ?
Oui
Non
Non
Oui
Realisation du
Systeme
Experimentation
du Systeme
FIG. 1.3 R ole de la mod elisation dans la conception des syst` emes
d etermin e. Lindustrie manufacturi` ere est caract eris ee par la production de pi` eces en s erie (par
exemple, production de v ehicules), soit des variables discr` etes repr esentant des nombres de
pi` eces. On peut lopposer ` a lindustrie lourde de transformation de la mati` ere (par exemple,
chimie lourde) qui est caract eris ee par des ux continus de mati` ere, d energie, soit des variables
continues. Un processus de fabrication manufacturier utilise des ressources : les machines qui
effectuent les diff erentes op erations, les stocks, les convoyeurs entre les diff erentes machines,
etc... Il apparat alors des probl` emes dorganisation et plus particuli` erement, des probl` emes
de synchronisation et de coop eration entre des processus travaillant en parall` ele et partageant
des ressources. Ces probl` emes ont une acuit e de plus en plus forte. Dune part, la r eduction
des co uts a entran e la diminution, voire la suppression des stocks (ux tendu). Par exemple,
le moteur dun camion est livr e ` a lusine dassemblage ` a la date (et quasiment ` a lheure) de
son montage. Dautre part, ladaptation aux go uts du public (pour un co ut limit e) a entran e
une grande diversication des pi` eces produites, voire une individualisation compl` ete (exemple
des cabines de camions). Pour garantir un fonctionnement efcace du syst` eme, ces probl` emes
doivent donc etre abord es par des m ethodes efcaces.
Si les syst` emes industriels manufacturiers effectuent des transformations sur des pi` eces, les
syst` emes informatiques (par exemple un syst` eme dexploitation) effectuent eux aussi des trans-
formations mais sur de linformation. On peut d enir un processus informatique de facon
similaire ` a un processus manufacturier. Il utilise des ressources de m eme type : processeurs
pour transformer linformation, m emoires pour la stocker, bus et r eseaux pour la transporter,
etc ... On est donc confront e aux m emes probl` emes. Il en est de m eme pour le fonctionnement
de r eseaux informatiques. Du fait de laugmentation de la complexit e des syst` emes informa-
tiques et de leurs interconnexions, ces probl` emes sont tr` es difciles ` a aborder, sans m ethodes
particuli` erement efcaces.
De facon plus g en erale, les probl` emes dorganisation, de synchronisation et de coop eration
entre des processus travaillant en parall` ele et partageant des ressources apparaissent dans de
nombreux syst` emes. Il peut sagir de traiter du trafc dans des r eseaux que ce soit des r eseaux
de communication ou des r eseaux routiers. Il peut aussi sagir dorganiser la diffusion de lin-
formation au sein dune entreprise (par la mise en place dun syst` eme dinformation support e
par un syst` eme informatique) ou la gestion dun projet...
Objectif du cours Lobjectif de ce cours nest pas de pr esenter la m ethode qui r esout tous
les probl` emes succinctement evoqu es ci-dessus ! L etude de la mod elisation par R eseaux de Pe-
tri permet dintroduire tous les concepts fondamentaux qui apparaissent g en eralement dans les
m ethodes traitant ces probl` emes. Un etudiant ayant assimil e ce cours aura le bagage scienti-
que n ecessaire pour la compr ehension et la mise en uvre de ces m ethodes pour les syst` emes
particuliers auxquels il sera confront e.
Chapitre 2
Mod elisation par R eseaux de Petri
2.1 Mod` ele de base
2.1.1 Elements de base
Un graphe peut etre d eni par un ensemble d el ements appel es noeuds ou sommets et un
ensemble de relations appel ees arr etes ou arcs. Un exemple est donn e Figure 2.1 : les noeuds
sont constitu es par les carr es etiquet es A, B, C et D; les arcs sont constitu es par les droites
etiquet ees 1 (qui relie le sommet A au sommet B), 2 (qui relie le sommet A au sommet C),
3 (qui relie le sommet B au sommet C) et 4 (qui relie le sommet C au sommet D). Les arcs
peuvent etre orient es : on parle alors de graphe orient e. Les sommets peuvent etre de plusieurs
types.
A
C
B D
1
2
3
4
A
C
B D
1
2
3
4
FIG. 2.1 Exemple de Graphe (gauche) et Graphe orient e (droite)
Un R eseau de Petri (RdP) est un graphe orient e comprenant deux types de sommets :
les places
les transitions
Ils sont reli es par des arcs orient es . Un arc relie soit une place ` a une transition, soit une
transition ` a une place jamais une place ` a une place ou une transition ` a une transition. Tout arc
doit avoir ` a son extr emit e un sommet (place ou transition). Un exemple de R eseaux de Petri est
repr esent e Figure 2.2. A chaque place et transition, un nom peut etre associ e : par exemple sur
le RdP de la Figure 2.2, les places sont nomm ees P
1
, P
2
, P
3
et P
4
et les transitions T
1
, T
2
et T
3
.
T
1
est reli ee ` a P
1
par un arc orient e de T
1
vers P
1
: on dit que P
1
est en sortie ou en aval de T
1
.
P
1
est reli ee ` a T
2
par un arc orient e de P
1
vers T
2
: on dit que T
2
est en sortie de P
1
. De m eme,
on peut dire que P
1
est en entr ee ou en amont de T
2
. La place P
3
est en entr ee de T
1
.
9
10 CHAPITRE 2 MOD
ELISATION
P1
P2
P3
P4
T1
T2
T3
FIG. 2.2 Exemple dun R eseau de Petri
Cas particuliers
Transition source pas de place en entr ee de la transition
Transition puits pas de place en sortie de la transition
Une place correspond ` a une variable d etat du syst` eme qui va etre mod elis e et une transition
` a un ev enement et/ou une action qui va entraner l evolution des variables d etat du syst` eme. A
un instant donn e, une place contient un certain nombre de marques ou jetons qui va evoluer
en fonction du temps : il indique la valeur de la variable d etat ` a cet instant. Quand un arc relie
une place ` a une transition, cela indique que la valeur de la variable d etat associ ee ` a la place
inuence loccurrence de l ev enement associ e ` a la transition. Quand un arc relie une transition
` a une place, cela veut dire que loccurrence de l ev enement associ e ` a la transition inuence la
valeur de la variable d etat associ ee ` a la place.
Exemple de latelier de coupe de bois Un atelier est constitu e dune machine de coupe et
dun stock. Quand une commande arrive et que la machine de coupe est disponible, la com-
mande peut etre trait ee (d ecoupe). Une fois le traitement termin e, la commande qui a et e trait ee
est stock ee. Sinon, la commande doit attendre que la machine de coupe se lib` ere avant de pou-
voir etre trait ee.
L etat du syst` eme est caract eris e par :
L etat du syst` eme va evoluer quand se produit :
P1 P2
P3
P4
T1
T2
T3
FIG. 2.3 Atelier de coupe
Il faut noter les choses suivantes.
Chaque place contient un nombre entier (positif ou nul) de marques ou jetons. Elle
indique la valeur de la variable d etat associ ee ` a la place. Par exemple, les 3 marques dans
P
2
repr esentent 3 commandes en attente.
Le nombre de marques dans une place peut sinterpr eter comme le nombre de ressources
disponibles. Par exemple, dans la place P
1
, une marque indique quune machine est dis-
ponible, pas de marque indique que la machine nest pas disponible. Ces ressources sont
consomm ees ou/et produites au cours du temps. Par exemple, dans la place P
2
, le nombre
de marques indique le nombre de commandes en attente d etre trait ees par la machine
de coupe, cest-` a-dire le nombre de ressources qui vont etre consomm ees. Une marque
dans la place P
3
indique quune commande est en train d etre trait ee par la machine de
coupe. Le nombre de marques dans la place P
4
indique le nombre de commandes qui ont
et e trait ees et stock ees. La n de la coupe par la machine se traduit par la suppression de
la marque dans la place P
3
et par la cr eation dune marque dans la place P
1
et dans la
place P
4
.
Les marques dune m eme place nont pas didentit e individuelle : elles sont indiscer-
nables. Par exemple, chaque commande en attente dans la place P
2
est trait ee de la m eme
facon que les autres.
12 CHAPITRE 2 MOD
ELISATION
On appelle marquage M dun R eseau de Petri le vecteur du nombre de marques dans
chaque place : la i
i` eme
composante correspond au nombre de marques dans la i
i` eme
place.
Il indique ` a un instant donn e l etat du RdP. Par exemple, le marquage du RdP pr esent e
gure 2.3 est donn e par :
M =
_
_
0
3
1
2
_
_
.
On appelle marquage initial, not e M
0
, le marquage ` a linstant initial (t = 0).
On peut maintenant donner une d enition plus formelle des RdPs.
Denition 2.1.1 On appelle R eseau de Petri non marqu e le quadruplet Q =< P, T, I, O >o` u
P est un ensemble ni non vide de places ;
T est un ensemble ni non vide de transitions ;
P
T = ;
I(T
i
) est lensemble des places qui sont en entr ee de la transition i ;
O(T
i
) est lensemble des places qui sont en sortie de la transition i.
On appelle R eseau de Petri marqu e R =< Q, M
0
> o` u M
0
est le marquage initial.
Q d enit la structure du RdP. Le marquage ` a un instant donn e d enit la valeur des variables
d etat du RdP ` a un instant donn e.
Dans lexemple de latelier de coupe, on a :
P = P
1
, P
2
, P
3
, P
4
;
T = T
1
, T
2
, T
3
;
I(T
1
) = , I(T
2
) = P
1
, P
2
, I(T
3
) = P
3
;
O(T
1
) = P
2
, O(T
2
) = P
3
, O(T
3
) = P
1
, P
4
.
2.1.2 Evolution dun RdP
L evolution dun RdP correspond ` a l evolution de son marquage au cours du temps ( evolution
de l etat du syst` eme) : il se traduit par un d eplacement de marques ce qui sinterpr` ete comme la
consommation/production de ressources d eclench ee par des ev enements ou des actions. D eterminer
l evolution dun RdP correspond en fait ` a le simuler, terme plus g en eralement utilis e en mod elisation.
T1 T1
FIG. 2.4 Transition valid ee (gauche), non valid ee (droite)
Transition valid ee Une transition est dite valid ee si toutes les places en amont (cest-` a-dire
en entr ee) de celle-ci poss` edent au moins une marque. Une transition source est par d enition
toujours valid ee.
Deux exemples sont pr esent es Figure 2.4. Dans lexemple de latelier de coupe, la transition
T
3
est valid ee ainsi que la transition T
1
(transition source). La transition T
2
nest pas valid ee.
T1 T1
Franchissement de T1
FIG. 2.5 RdPs avant franchissement de T
1
(gauche) et apr` es franchissement de T
1
(droite)
Franchissement ou tir Si la transition est valid ee, on peut effectuer le franchissement de cette
transition : on dit alors que la transition est franchissable. Le franchissement consiste ` a
retirer une marque dans chacune des places en entr ee de la transition ;
ajouter une marque ` a chacune des places en sortie.
Un exemple de franchissement est pr esent e Figure 2.5. Dans lexemple de latelier de coupe,
le franchissement de T
3
m` ene au marquage suivant :
M =
_
_
1
3
0
3
_
_
.
Remarque Une transition valid ee est ici forcement franchissable : les deux termes peuvent
etre donc employ es indiff eremment. Ce nest pas le cas pour les extensions des RdPs qui seront
introduites chapitre 8.
Lorsquune transition est valid ee, cela nimplique pas quelle sera imm ediatement franchie.
Cela veut dire que les conditions n ecessaires ` a son franchissement sont effectivement r eunies :
laction et/ou l ev enement associ e ` a la transition sont alors possibles. Dans lexemple de late-
lier de coupe, pour que la machine de coupe commence la commande (franchissement de la
transition T
2
), il est n ecessaire que la machine soit disponible (une marque dans la place P
1
) et
quau moins une commande soit en attente (au moins une marque dans la place P
2
). Cela ne
veut pas dire que la machine va commencer ` a traiter imm ediatement la commande.
L evolution du RdP se fait par le franchissement dune seule transition ` a la fois. Quand
plusieurs transitions sont simultan ement franchissables, on ne peut pas savoir dans quel ordre
elles seront effectivement franchies. L evolution nest donc pas unique.
Dans le cas dun r eseau de Petri de base (par exemple pas dutilisation de temporisation
comme dans les RdP temporis es introduits chapitre 8), le franchissement, une fois d ecid e, est
instantan e. Dans lexemple de latelier de coupe, les transitions T
2
et T
3
correspondent au d ebut
et ` a la n du traitement de la commande par la machine de coupe.
Exemple d evolution Un exemple d evolution dun RdP est pr esent e Figure 2.6.
Notion de RdP autonome et non autonome Un RdP autonome d ecrit le fonctionnement
dun syst` eme de facon autonome, cest-` a-dire dont l evolution est r egi par ses propres lois. La
succession des quatres saisons peut etre ainsi mod elis ee par un RdP autonome.
14 CHAPITRE 2 MOD
ELISATION
P1
P2
P3
T1
T3
T2
P1
P2
P3
T1
T3
T2
P1
P2
T1
T3
T2
P1
P2
P3
T1
T3
T2
P3
Franchissement
Franchissement Franchissement
Franchissement
T1
T3
T2
P1
P2
P3
T1
T3
T2
T1
FIG. 2.6 Exemple d evolution dun RdP
P1
P2
P3
P4
T1
T2
T3
T4
FIG. 2.7 Quatre saisons
On suppose qu` a linstant initial t = 0, la saison est l et e. On obtient alors le RdP repr esent e
Figure 2.7.
Il sagit ici de donner une description qualitative du cycle des saisons. Si le franchissement
dune transition est conditionn e par un ev enement, un ordre ext erieur ou encore par le temps,
on parle alors de RdP non autonome. Le RdP d ecrivant le fonctionnement de latelier de coupe
est-il autonome ? Si non, comment le rendre autonome ?
La premi` ere partie du cours va etre consacr ee aux R eseaux de Petri autonomes : les RdPs non
autonomes seront abord es dans le chapitre 8.
2.1.3 Exemples de R eseaux de Petri
Mod` ele dune r eaction chimique On consid` ere maintenant la r eaction chimique suivante qui
se produit en pr esence de catalyseur (platine) :
H
2
+C
2
H
4
platine
C
2
H
6
La quantit e de H
2
(nombre de marques dans la place P
1
)
La quantit e de C
2
H
4
2
)
La quantit e de platine (nombre de marques dans la place P
3
)
La quantit e de C
2
H
6
4
)
L etat du syst` eme va evoluer quand :
La r eaction chimique se produit (franchissement de la transition T
1
)
16 CHAPITRE 2 MOD
ELISATION
P1
P2
P3
P4
T1
P1
P2
P3
P5
T1
P4
T2
FIG. 2.8 R eaction chimique
On suppose quau d epart on a deux unit es dH
2
, une unit e de C
2
H
4
, une unit e de C
2
H
6
et que le
platine est libre. On obtient alors le RdP repr esent e Figure 2.8, gauche. Le nombre de marques
dans chaque place correspond ici ` a la quantit e de chaque produit chimique. La pr esence de
platine est absolument n ecessaire ` a la r eaction chimique : la place P
3
doit etre imp erativement
en entr ee de la transition T
1
. Cependant, quand la r eaction chimique se produit, le platine etant
un catalyseur, il nest pas consomm e. Par suite, la place P
3
doit etre en sortie de la transition T
1
de facon ` a restituer la ressource apr` es que la r eaction se soit produite.
La r eaction chimique a et e suppos ee etre un ev enement instantan e. En r ealit e, la r eaction a
une certaine dur ee caract eris ee par un d ebut (o` u les r eactifs se xent sur le catalyseur an de
r eagir) et par une n (les r eactifs ont ni de r eagir et lib` ere le catalyseur). On introduit donc
une place suppl ementaire P
5
qui indique si oui (une marque dans P
5
) ou non (pas de marque
dans P
5
) les produits r eagissent ` a la surface du catalyseur. Une transition suppl ementaire T
2
est
introduite : le franchissement de T
1
correspond maintenant au d ebut de la r eaction chimique et
2
` a la n de celle-ci. On obtient alors le RdP repr esent e Figure 2.8, droite.
Mod` ele dop erations sur deux entiers naturels Soient n
1
et n
2
deux entiers naturels. On
veut mod eliser laddition de ses deux entiers par un RdP.
Le nombre n
1
` a linstant initial (nombre de marques dans la place P
1
)
Le nombre n
2
2
)
La somme n
1
+n
2
` a linstant nal (nombre de marques dans la place P
3
)
Une marque est enlev ee de P
1
pour etre plac ee dans P
3
(franchissement de la transition
T
1
)
2
3
T
2
)
On obtient alors le RdP repr esent e Figure 2.9, gauche.
On veut maintenant mod eliser la soustraction de ces deux entiers par un RdP. La soustrac-
tion est d enie de la facon suivante : si n
1
n
2
alors le r esultat est n
1
n
2
, sinon le r esultat
est 0.
Le nombre n
1
1
)
P1
P2
P3
T1
T2
P1
P2
P3
T1
T2
FIG. 2.9 Op erations sur des entiers naturels, addition (` a gauche) et soustraction (` a droite)
Le nombre n
2
2
)
La r esultat de lop eration ` a linstant nal (nombre de marques dans la place P
3
)
1
3
T
1
)
2
et de P
3
(franchissement de la transition T
2
)
On obtient alors le RdP repr esent e Figure 2.9, droite.
P1
P2
P3
P5
T3
P4
P6
T1
T2
T4
FIG. 2.10 Op erations sur des entiers naturels : multiplication
On consid` ere maintenant la multiplication de ces deux entiers. Le RdP obtenu est repr esent e
Figure 2.10. A linstant initial, la place P
1
contient n
1
marques et la place P
2
n
2
marques. A
linstant nal, la place P
6
contient n
1
n
2
marques. V erier que ce mod` ele RdP repr esente bien
la multiplication des deux entiers.
2.1.4 R eseaux de Petri avec une structure particuli` ere
La structure dun R eseau de Petri est d enie par le RdP non marqu e qui a et e not e Q dans la
d enition 2.1.1, page 12. Les RdPs avec une structure particuli` ere ont des propri et es que nont
pas forcement les RdPs en g en eral.
18 CHAPITRE 2 MOD
ELISATION
FIG. 2.11 Graphe d etats ou pas
Graphe d etats Un r eseau de Petri est un graphe d etats si et seulement si toute transition a
exactement une place dentr ee et une place de sortie (voir Figure 2.11). Si lensemble des places
du graphe d etats ne contient quune seul marque, on retrouve le graphe d etat classique qui a
et e introduit en licence pour la description et la conception des machines logiques s equentielles.
FIG. 2.12 Graphe d ev enements ou pas
Graphe d ev enements Un r eseau de Petri est un graphe d ev enements si et seulement si
toute place a exactement une transition dentr ee et une transition de sortie (voir Figure 2.12).
RdP sans conit Un r eseau de Petri est dit sans conit si et seulement si toute place a au
plus une transition de sortie (voir Figure 2.13). Un conit (structurel) correspond ` a lexistence
dune place Pi qui a au moins deux transitions de sortie T
j
, T
k
, etc.. Notation .
Sur le RdP de droite de la gure 2.13, on a le conit . Quand la place P
1
contient une marque, les transitions T
1
et T
2
sont franchissables. Seule une des deux transitions
peut etre franchie : il est n ecessaire de prendre une d ecision pour savoir laquelle des deux le sera
effectivement. Labsence ou la pr esence dun conit est une propri et e importante dun r eseau
de Petri.
RdP ` a choix libre Un r eseau de Petri est dit ` a choix libre si et seulement si les transitions de
sortie de tous ses conits nadmettent quune seule place dentr ee.
RdP ` a choix libre etendu Un r eseau de Petri est dit ` a choix libre etendu si et seulement
si pour chaque conit, toutes les transitions de sortie de celui-ci admettent les m emes places
dentr ee.
Exemple : soit un r eseau de Petri ` a choix libre etendu qui admet le conit .
Si T
2
admet aussi pour place dentr ee P
2
alors forcement T
3
admet P
2
comme place dentr ee.
Sans conflit
Avec conflit
T1
T1
T2
T3
P1
P2
P1
P2
P3
P3
FIG. 2.13 Conit ou pas
T1
T1
T2
T3
P1
P2 P3
P4 P5
P6
FIG. 2.14 RdP qui nest pas simple
20 CHAPITRE 2 MOD
ELISATION
RdP simple Un r eseau de Petri est dit simple si et seulement si toutes ses transitions ninter-
viennent que dans un seul conit au maximum. Le RdP repr esent e Figure 2.13 est simple ; celui
repr esent e Figure 2.14 nest pas simple.
RdP pur Un r eseau de Petri est dit pur si et seulement sil nexiste pas de transition ayant
une place dentr ee qui est aussi place de sortie. Le RdP repr esent e Figure 2.8 nest pas pur car
la place P
3
est place dentr ee et place de sortie de la transition T
1
. On parle alors de RdP impur.
Propri et e 2.1.1 Tout RdP impur peut etre transform e en un RdP pur.
Le RdP repr esentant une r eaction chimique Figure 2.8, ` a gauche nest pas pur puisque la
place P
3
est ` a la fois place en entr ee et en sortie de la transition T
1
. Par contre, une description
plus ne de la r eaction chimique a donn e le RdP Figure 2.8, ` a droite. Ce RdP est pur. Cependant,
il est plus complexe. Cet exemple montre que des transitions impures peuvent ainsi introduites
pour simplier le mod` ele RdP dun syst` eme. Un autre exemple est donn e par les deux RdPs
repr esent es Figure 2.15 qui sont equivalents.
P1
T1
P1
T1
T1
FIG. 2.15 RdP impur equivalent ` a un RdP pur
2.2 Structures fondamentales pour la mod elisation des syst` emes
Les RdPs permettent de mod eliser un certain nombre de comportements importants dans
les syst` emes : le parall elisme, la synchronisation, le partage de ressources, la m emorisation
et la lecture dinformation, la limitation dune capacit e de stockage. Dans cette section, sont
pr esent ees les diff erentes structures apparaissant dans un r eseau de Petri reproduisant ce type
de comportements.
2.2.1 Elements de mod elisation
2.2.1.1 Parall elisme
Le parall elisme repr esente la possibilit e que plusieurs processus evoluent simultan ement au
sein du m eme syst` eme. On peut provoquer le d epart simultan e de l evolution de deux processus
` a laide dune transition ayant plusieurs places de sortie. Pour cela, le RdP doit contenir la
structure pr esent ee Figure 2.16, gauche. Par convention, lorsquun carr e gris e apparat dans
une gure, cela indique que seule une partie du RdP a et e repr esent ee : pour la compr ehension
de lexplication, le reste du RdP est suppos e ne pas etre important. Le franchissement de la
transition T
1
met une marque dans la place P
2
(ce qui marque le d eclenchement du processus 1)
et une marque dans la place P
3
(ce qui marque le d eclenchement du processus 2). Il est ensuite
T1
P1
P2 P3
P22 P23
P24
T12
FIG. 2.16 Parall elisme
possible de synchroniser lach` evement des deux processus, voir Figure 2.16, droite. La place
P
22
correspond ` a la n du processus 1 et la place P
23
` a la n du processus 2. Le RdP evoluera
par franchissement de la transition T
12
. Pour cela, il est n ecessaire que les places P
22
et P
23
contiennent chacune au moins un jeton, cest-` a-dire que les processus 1 et 2 soient termin es. Le
RdP total est repr esent e Figure 2.18.
P22
P23
P24
T1
P1
P2
P3
Processus 1
Processus 2
T12
La machine ` a remplir et ` a boucher La machine ` a remplir et ` a boucher des bouteilles est
compos ee de trois postes travaillant en parall` ele.
Le poste 1 sert au transfert et au chargement. Dans on premier temps, on sort le v erin de
transfert B pour ` a d ecaler le convoyeur dune position vers la droite. Ensuite, le v erin A
sert au chargement dune nouvelle bouteille vide.
Le poste 2 sert au remplissage des bouteilles ` a laide de la vanne D.
22 CHAPITRE 2 MOD
ELISATION
Le poste 3 est le poste de bouchage.
Les actions de chargement dune bouteille, remplissage dune bouteille et bouchage dune bou-
teille sont effectu ees en parall` ele. Le transfert par le v erin B nest effectu e que lorsque ces trois
op erations sont termin ees.
2.2.1.2 Synchronisation
Mutuelle La synchronisation mutuelle ou rendez-vous permet de synchroniser les op erations
de deux processus. Un exemple est donn e Figure 2.20. Le franchissement de la transition T
7
ne
peut se faire que si la place P
12
du processus 1 et la place P
6
du processus 2 contiennent chacun
au moins une marque. Si ce nest pas le cas, par exemple la place P
12
ne contient pas de marque,
T1
P1
P2 P3
P4
T2
T3 T4
T5
P5
P6
P7
FIG. 2.19 RdP machine ` a remplir et ` a boucher
P12
P6
P13
P7
Processus 1 Processus 2
T7
FIG. 2.20 Synchronisation mutuelle
24 CHAPITRE 2 MOD
ELISATION
le processus 2 est bloqu e sur la place P
6
: il attend que l evolution du processus 1 soit telle
quau moins une marque apparaisse dans la place P
12
.
Exemple On consid` ere un syst` eme magasin/consommateur. Le magasin vend un seul type de
produits entrepos es dans un stock de capacit e limit e : son etat est caract eris e par le nombre de
produits en stock et par le nombre demplacements libres dans le stock. Le nombre de produits
disponibles dans le magasin augmente quand le magasin est livr e et diminue quand le consom-
mateur effectue un achat. Le consommateur a deux etats : soit il consomme, soit il va faire ses
courses.
P1
P2
P3
P4
T1 T2 T3
FIG. 2.21 RdP syst` eme magasin/consommateur
On suppose qu` a linstant initial, le magasin a deux emplacements de libre et un seul produit
stock e et que le consommateur est en train de consommer. Le RdP obtenu est repr esent e Figure
2.21.
S emaphore Les op erations du processus 2 ne peuvent se poursuivre que si le processus 1 a
atteint un certain niveau dans la suite de ses op erations. Par contre, lavancement des op erations
du processus 1 ne d epend pas de lavancement des op erations du processus 2. Dapr` es Figure
2.22, le processus 2 ne peut franchir la transition T
8
que si la place P
0
contient au moins une
marque. Une marque est ajout ee dans la place P
0
lorsque l evolution du processus 1 am` ene le
franchissement de la transition T
17
. L evolution du processus 2 va donc d ependre de l evolution
du processus 1.
Exemple On d esire effectuer deux op erations :
a b +e et a b +c d
On dispose de deux processeurs pouvant travailler en parall` ele. An de gagner du temps, on
d ecide que le premier processeur effectuera lop eration ab tandis que parall` element le second
P14
P13
P0
P7
P6
Processus 1
Processus 2
T17 T7
T8
FIG. 2.22 S emaphore
effectuera lop eration cd. Quand le processeur 1 aura termin e le produit, il y ajoutera e. Quand
le processeur 2 aura termin e lop eration c d, si le processeur 1 a termin e le produit a b, il
fera la somme des deux produits, sinon il attendra que le produit ab soit termin e pour pouvoir
leffectuer.
le processeur 1 effectue lop eration a b (une marque dans la place P
1
)
le processeur 2 effectue lop eration c d (une marque dans la place P
2
)
le r esultat de a b est disponible (une marque dans la place P
3
)
le r esultat de c d est disponible (une marque dans la place P
4
)
le processeur 1 effectue laddition (a b) +e (une marque dans la place P
5
)
le processeur 2 effectue laddition (a b) + (c d) (une marque dans la place P
6
)
n de lop eration a b (franchissement de la transition T
1
)
n de lop eration c d (franchissement de la transition T
2
)
d ebut laddition (a b) + (c d) (franchissement de la transition T
3
)
A linstant initial, le processeur 1 effectue laddition (a b) + e, que le r esultat de a b est
disponible et que le processeur 2 effectue lop eration cd. Le RdP obtenu est repr esent e Figure
2.23.
2.2.1.3 Partage de ressources
Cette structure va mod eliser le fait quau sein du m eme syst` eme plusieurs processus par-
tagent une m eme ressource. Figure 2.24, la marque dans la place P
0
repr esente une ressource
mise en commun entre le processus 1 et le processus 2. Le franchissement de la transition T
17
lors de l evolution du processus 1 entrane la consommation de la marque pr esente dans la
place P
0
. La ressource que constitue cette marque nest alors plus disponible pour l evolution du
processus 2 puisque le franchissement de la transition T
7
nest plus possible. Lors de l evolution
du processus 1, lorsque la transition T
18
est franchie, une marque est alors redonn ee ` a la place
P
0
: la ressource redevient alors disponible pour l evolution des deux processus.
Partage dune m emoire par deux programmes informatiques Deux programmes informa-
tiques, programme 1 et programme 2 partagent un espace m emoire unique. Quand un des deux
programmes lutilise, lautre ne peut pas y avoir acc` es.
26 CHAPITRE 2 MOD
ELISATION
P1 P2
T2 T1
T3
P3
P5
P4
P6
FIG. 2.23 Calculs parall` eles
Processus 1 Processus 2
P13
P12
P7
P6
P0
T7
T8
T17
T18
FIG. 2.24 Partage de ressource
P1
P3
P5
P6
P4
P2
P7
T5
T1
T3
T2
T4
T6
FIG. 2.25 Partage dune m emoire par deux programmes
A linstant initial, les deux programmes nont pas besoin de la m emoire qui est donc disponible.
On obtient alors le RdP repr esent e Figure 2.25.
T1
T12
P1
P2
P3
P23
FIG. 2.26 M emorisation
28 CHAPITRE 2 MOD
ELISATION
2.2.1.4 M emorisation
du franchissement dune transition, cest-` a-dire de loccurrence dun ev enement : Figure
2.26, le franchissement de la transition T
12
nest possible que sil y a une marque dans la
place P
2
. Seul le franchissement de la transition T
1
peut mettre une marque dans la place
P
2
.
dun nombre, par exemple de la quantit e dune ressource donn ee dans un stock : voir par
exemple lexemple de latelier page 10.
2.2.1.5 Lecture
Figure 2.27, le franchissement de la transition T
1
est li e au marquage de P23. Lors du fran-
chissement, son marquage nest pas modi e. On fait alors une lecture de ce marquage.
T1
P2
P23
FIG. 2.27 Lecture
Dans lexemple de la r eaction chimique, section 2.1.3, le premier mod` ele RdP pr esente une
telle structure : la r eaction chimique ne peut se produire que si le catalyseur est disponible.
Loccurrence de la r eaction ne modie cependant pas le catalyseur.
Un autre exemple peut etre construit ` a partir du mod` ele RdP de latelier de coupe Figure
2.3. On d esire prendre en compte que latelier peut etre ouvert ou ferm e et que la machine de
coupe ne peut traiter une commande que quand latelier est ouvert. Par suite, l etat du syst` eme
est caract eris e par deux places suppl ementaires :
Atelier de coupe ouvert (un jeton dans la place P
5
)
Atelier de coupe ferm e (un jeton dans la place P
6
)
L etat du syst` eme evolue quand il y a
fermeture de latelier de coupe (franchissement de la transition T
4
)
ouverture de latelier de coupe (franchissement de la transition T
5
)
On obtient alors le RdP repr esent e Figure 2.28. Le franchissement de la transition T
2
saccom-
pagne de la lecture de la place P
5
.
2.2.1.6 Capacit e limit e
Figure 2.29, pour que la transition T
3
soit franchissable, il est n ecessaire que la place P
5
contienne des marques. Dans la conguration repr esent ee sur la gure 2.29, le marquage de
P
5
ne permet que deux franchissements successifs de T
3
. La transition T
3
sera ` a nouveau
P1 P2
P3
P4
T1
T2
T3
P5
P6
T4
T5
FIG. 2.28 Atelier de coupe 2
franchissable si le franchissement de la transition T
4
permet de mettre des marques dans la
place P
5
. Au total, la place P
4
ne pourra pas contenir plus de 3 marques. Cette partie de RdP
peut mod eliser un stock de capacit e total egale ` a 3 : do` u le nom capacit e limit e. Le marquage
de P
5
indique le nombre demplacements libres dans le stock, le marquage de P
4
le nombre
demplacements occup es. Le franchissement de la transition T
3
sinterpr` ete alors comme la
mise dun el ement dans le stock ; le franchissement de la transition T
4
comme le retrait dun
el ement du stock.
P3
P4 P5
T3
T4
FIG. 2.29 Capacit e limit ee
Une capacit e limit ee a et e utilis ee dans la mod elisation de latelier de coupe par le RdP
Figure 2.3, page 11. Elle est constitu ee par lensemble transition T
2
, place P
3
, transition T
3
,
place P
1
. Par contre, le stock des commandes effectu ees est simplement repr esent e par la place
30 CHAPITRE 2 MOD
ELISATION
P
4
: on na donc pas mod eliser le fait que le stock peut etre de capacit e limit e. Modier le RdP
de facon ` a prendre en compte que la capacit e du stock est limit ee par 4.
2.2.2 Mod elisation structur ee
Lors de la construction du mod` ele RdP dun syst` eme dune grande complexit e, il est n ecessaire
de proc eder par etapes. Deux approches sont ainsi possibles.
P1
P2
T1
T23
P4
FIG. 2.30 Atelier suite
2.2.2.1 Approche par afnements successifs
Dans une premiere etape, le syst` eme est d ecrit par un RdP simpli e. Pour cela, les tran-
sitions sont associ ees ` a des actions/ ev enements complexes. Dans une seconde etape, les tran-
sitions sont alors remplac ees par les R eseaux de Petri d ecrivant ces actions/ ev enements com-
plexes.
Dans lexemple de la r eaction chimique, section 2.1.3, le premier mod` ele RdP est un mod` ele
simplier : la transition T
1
est associ e ` a un ev enement complexe puisquil recouvre la xation
du H
2
et du C
2
H
4
sur le catalyseur (platine), la r eaction qui se produit sur celui-ci et le d epart
du C
2
H
6
ainsi form e. Le second mod` ele RdP est un mod` ele afn e o` u la transition T
1
a et e rem-
plac ee par lensemble transition T
1
, arc, place P
5
, arc, transition T
2
.
Dans lexemple de latelier, page 10, on aurait pu mod eliser de facon plus simple le syst` eme
en consid erant que le d ebut de la d ecoupe par la machine, la d ecoupe elle-m eme et la n de la
d ecoupe ne constituent quun seul et m eme ev enement (complexe). L etat du syst` eme est alors
simplement caract eris e par :
La machine de coupe est en attente (une marque dans la place P
1
)
Le nombre de commande en attente (nombre de marques dans la place P
2
)
Le nombre de commande trait ees et stock ees (nombre de marques dans la place P
4
)
Arriv e dune commande (franchissement de la transition T
1
)
La d ecoupe de la commande par la machine de coupe sest produite (franchissement de
la transition T
23
)
P2
T2
T3
FIG. 2.31 RdP equivalent ` a T
23
Le RdP correspondant est repr esent e Figure 2.30. La transition T
23
est associ ee ` a un ev enement
complexe : la d ecoupe d ebute, une commande est dans la machine de d ecoupe, la d ecoupe est
termin ee. Par suite la transition T
23
correspond au R eseau de Petri repr esent e Figure 2.31. En
remplacant T
23
par celui dans le RdP Figure 2.30, on obtient le RdP Figure 2.3.
2.2.2.2 Approche par compositions de RdPs
Un syst` eme complexe peut etre d ecompos e en sous syst` emes. Chaque sous syst` eme est alors
mod elis e par un RdP. Le RdP du syst` eme complet est alors obtenu en assemblant les RdPs des
diff erents sous syst` emes. Lassemblage peut se faire selon deux approches :
1. par fusion des places communes aux diff erents RdPs : cela traduit par exemple que les
sous syst` emes partagent des ressources ;
2. par fusion des transitions communes aux diff erents RdPs : cela traduit par exemple que
les sous syst` emes evoluent sous loccurrence de m eme ev enements.
Un exemple de la premi` ere approche est donn e par lexemple du partage de m emoire pr ec edemment
introduit. On mod elise lutilisation dune m emoire par un programme par un RdP. En ecrivant
les RdPs pour les deux programmes et en fusionnant les deux places repr esentant la disponibi-
lit e de la m emoire on obtient le RdP de lutilisation de la m emoire par deux programmes, voir
Figure 2.32.
Un exemple de fusion de transitions est donn e par le syst` eme producteur/magasin/consommateur.
Il est constitu e de trois sous syst` emes qui peuvent chacun etre mod elis e par un RdP, voir Figure
2.33.
Par fusion des transitions communes, le RdP du syst` eme complet est obtenu, voir Figure
2.34.
32 CHAPITRE 2 MOD
ELISATION
FIG. 2.32 Exemple de fusion de places
Production
Livraison
Fin
Production
Depot
Magasin
Nbr produits
en stock
Nbr emplacements
vides en stock
Achat
va aux courses
consommation
PRODUCTEUR
MAGASIN CONSOMMATEUR
FIG. 2.33 Producteur magasin consommateur
FIG. 2.34 Producteur magasin consommateur
34 CHAPITRE 2 MOD
ELISATION
Chapitre 3
Propri et es des R eseaux de Petri
(ordinaires)
3.1 Notations et d enitions
Marquage Le marquage dun R eseau de Petri ` a un instant donn e est un vecteur colonne dont
la valeur de la i
i` eme
composante est le nombre de marques dans la place P
i
` a cet instant.
Le franchissement dune transition conduit ` a un changement du marquage. Le passage du
marquage M
k
au marquage M
l
par franchissement de la transition T
j
est not e : M
k
[ T
j
> M
l
.
Le nombre de marques dans la place P
i
pour le marquage M
k
est not e M
k
(P
i
).
A partir dun m eme marquage, il peut etre possible de franchir plusieurs transitions, menant
ainsi ` a des marquages diff erents. Lensemble des marquages accessibles ` a partir du marquage
M
0
est lensemble des marquages obtenus ` a partir de M
0
par franchissements successifs dune
ou plusieurs transition(s). Cet ensemble est not e

M
0
.
P1
P2
T2
T3
P3
P4
FIG. 3.1 Atelier de coupe simpli e
Le RdP repr esent e Figure 3.1 repr esente une version simpli ee de latelier de coupe.
Lensemble des marquages accessibles est donc d eni par :

M
0
= M
1
, M
2
, M
3
.
35
36 CHAPITRE 3 PROPRI
ET
ES RDP
1
ou de la transition T
2
T
1
+T
2
= T
2
+T
1
1
puis de la transition T
2
T
1
T
2
,= T
2
T
1
1
puis de la transition T
1
T
2
1
= T
1
T
1
s equence de longueur 2 T
1
T
2
s equence de longueur nulle
r ep etition du franchissement de T
1
un nombre quelconque de fois T
1
= ( +T
1
+T
2
1
+. . .)
TAB. 3.1 Notation des s equences de franchissement
S equence de franchissements
Denition 3.1.1 Une s equence de franchissement est une suite de transitions qui sont succes-
sivement franchies pour passer dun marquage ` a un autre.
Dans lexemple de latelier pr ec edent :
M
0
[ S > M
3
avec S = T
3
T
2
T
3
.
Les s equences de franchissement sont d ecrites ` a laide des notations pr esent ees dans le
tableau 3.1. Par exemple, le franchissement de la transition T
1
suivi du franchissement de la
transition T
2
ou du franchissement de la transition T
3
se note :
T
1
(T
2
+T
3
) = T
1
T
2
+T
1
T
3
.
Le franchissement de la transition T
1
suivi du franchissement de la transition T
3
ou le franchis-
sement de la transition T
2
suivi du franchissement de la transition T
3
se note :
(T
1
+T
2
)T
3
= T
1
T
3
+T
2
T
3
.
Lensemble des s equences de franchissement des 4 saisons (RdP repr esent e Figure 2.7) se note :
Couverture
Denition 3.1.2 Un marquage M
k
couvre un marquage M
l
si, pour chaque place, le nombre
de marques de M
k
est sup erieur ou egal au nombre de marques de M
l
:
i, M
k
(P
i
) M
l
(P
i
).
Notation : M
k
M
l
. La couverture est stricte si de plus :
m, M
k
(P
m
) > M
l
(P
m
).
Notation : M
k
> M
l
.
Propri et e 3.1.1 Pour un R eseau de Petri non marqu e Q, soit L(Q, M
0
) lensemble des s equences
de franchissement ` a partir du marquage initial M
0
. Si M
0
M
0
alors L(Q, M
0
) L(Q, M
0
).
3.2 Propri et es
3.2.1 R eseau de Petri born e et R eseau sauf
Denition 3.2.1 Une place P
i
est born ee pour un marquage initial M
0
si pour tout marquage
accessible ` a partir de M
0
, le nombre de marques dans P
i
reste born e. Elle est dite k-born ee si
le nombre de marques dans P
i
est toujours inf erieur ou egal ` a k. Un RdP marqu e est (k) born e
si toutes ses places sont (k) born ees.
P2
P1
T1
FIG. 3.2 RdP non born e
Un RdP marqu e peut ne pas etre born e : sur lexemple repr esent e gure 3.2, la transition T
1
admet la place P
1
comme unique place dentr ee. La place P
1
a une marque : la transition T
1
est franchissable. Comme P
1
est aussi place de sortie de T
1
, le franchissement de T
1
ne change
pas le marquage de P
1
. La transition T
1
est donc franchissable en permanence et peut donc etre
franchie un nombre de fois inni. Chaque franchissement de T
1
ajoutant une marque dans la
place P
2
, le marquage de celle-ci peut donc tendre vers linni.
Denition 3.2.2 Un RdP marqu e est sauf ou binaire pour un marquage initial M
0
sil est 1-
born e.
Dans le cas o` u un RdP marqu e mod elise un syst` eme logique, chaque place du RdP corres-
pond ` a un el ement du vecteur d etat du syst` eme. Celui-ci ne peut prendre comme valeur que
0 ou 1, soit z ero ou une marque dans la place correspondante. Tester si le syst` eme logique est
coh erent revient alors ` a v erier que son mod` ele RdP est sauf. struct ?
Remarque Il faut bien noter que les propri et es pr ec edentes d ependent du marquage initial.
Par exemple, pour le RdP repr esent e Figure 3.2, avec

M
0
=
_
0
N
_
, le RdP marqu e serait
born e.
Propri et e 3.2.1 Si un RdP marqu e nest pas born e pour le marquage initial M
0
alors il nest
pas born e pour le marquage initial M
0
M
0
.
3.2.2 Vivacit e et blocage
L evolution du marquage dun RdP se fait par franchissement de transitions. Lorsquau
cours de son evolution, certaines transitions ne sont jamais franchies, cela indique que l ev enement
associ e ` a la transition ne se produit pas et que le marquage dune partie du RdP n evolue
pas. Cela indique que le sous syst` eme mod elis e par cette partie-l` a ne fonctionnera pas. Il y
a donc un probl` eme au niveau de la conception du syst` eme. Lid ee est d etre capable de d etecter
syst ematiquement ce ph enom` ene par lanalyse de propri et es du mod` ele RdP du syst` eme an de
disposer dun outil daide ` a la conception des syst` emes.
ET
ES RDP
Denition 3.2.3 Une transition T
j
est vivante pour un marquage initial M
0
si pour tout mar-
quage accessible M
k
, il existe une s equence de franchissements ` a partir de M
k
contenant T
j
:
M
k

M
0
, S, M
k
[ S > et S = . . . T
j
. . . .
Si une transition T
j
est vivante alors, ` a tout instant, on sait que T
j
peut etre franchie dans
le futur. Dans le cas dun RdP mod elisant un syst` eme fonctionnant en permanence, si une tran-
sition nest pas vivante et si une fonction du syst` eme est associ ee au franchissement de cette
transition, cela veut dire qu` a partir dun certain instant, cette fonction ne sera plus disponible
dans le futur, ce qui peut traduire une erreur ou une panne.
P1
P2
T1
T2
FIG. 3.3 RdP vivant
Exemples Les transitions T
2
et T
3
du RdP marqu e Figure 3.1 ne sont pas vivantes. Les tran-
sitions T
1
et T
2
du RdP marqu e Figure 3.3 sont vivantes : pour ce RdP, on a :
Denition 3.2.4 Un RdP marqu e est vivant pour un marquage initial M
0
si toutes ses transi-
tions sont vivantes pour ce marquage initial. Un RdP est dit conforme sil est sauf et vivant.
Le RdP marqu e Figure 3.3 est vivant et conforme.
Denition 3.2.5 Une transition T
j
est quasi vivante pour un marquage initial M
0
sil existe
une s equence de franchissements ` a partir de M
0
contenant T
j
:
S, M
0
[ S > et S = . . . T
j
. . . .
Un RdP marqu e est quasi vivant pour un marquage initial M
0
si toutes ses transitions sont
quasi vivantes pour ce marquage initial.
Le RdP marqu e Figure 3.1 est quasi vivant.
Denition 3.2.6 Un blocage (ou etat puits) est un marquage pour lequel aucune transition est
valid ee. Un RdP marqu e est dit sans blocage pour un marquage initial M
0
si aucun marquage
accessible est un blocage.
Le RdP marqu e Figure 3.1 a pour blocage le marquage :
M
3
=
_
_
1
0
0
4
_
_
.
Remarque Il faut bien noter que, pour la bornitude, les propri et es pr ec edentes d ependent du
marquage initial.
Propri et e 3.2.2
1. Si la transition T
j
est quasi vivante pour un marquage initial M
0
alors elle est quasi
vivante pour M
0
M
0
.
2. Si la transition T
j
est vivante pour un marquage initial M
0
alors elle nest pas n ecessairement
vivante pour M
0
M
0
.
3. Si un RdP marqu e est sans blocage pour un marquage initial M
0
alors il nest pas
n ecessairement sans blocage pour M
0
M
0
.
D emonstration
P1
P2
P3
T1
T2 T3
FIG. 3.4 Couverture et vivacit e
1. Elle d ecoule du fait que toute s equence de franchissement ` a partir de M
0
est aussi s equence
de franchissement ` a partir de M
0
.
2. et 3. Pour M
0
=
_
_
1
0
0
_
_
et le RdP repr esent e Figure 3.4 : les transitions T
1
et T
2
sont
vivantes et le RdP marqu e est sans bloquage. Pour M
0
=
_
_
2
0
0
_
_
[ T
1
T
3
> M
1
: la
transition T
2
nest plus vivante et le marquage M
1
=
_
_
0
0
1
_
_
est un blocage.
ET
ES RDP
Denition 3.2.7 Un RdP marqu e a un etat daccueil M

a
pour un marquage initial M
0
si pour
tout marquage accessible M
k
` a partir de M
0
, il existe une s equence de franchissements permet-
tant datteindre le marquage M
a
:
M
k

M
0
, S
j
, M
k
[ S
j
> M
a
.
Si un RdP pr esente un etat daccueil, il est ais e de v erier sil est sans blocage et d etudier sa
vivacit e.
Propri et e 3.2.3 Soit un R eseau de Petri < Q, M
0
> pr esentant un etat daccueil M
a
.
1. Il est sans blocage si et seulement sil existe une transition franchissable ` a partir du
marquage daccueil M
a
.
2. Une transition est vivante pour < Q, M
0
> si et seulement si elle est quasi vivante pour
< Q, M
a
>.
Denition 3.2.8 Un RdP est r einitialisable pour un marquage initial M
0
si M
0
est un etat
daccueil.
Exemple Les 4 saisons.
3.2.3 Conits
Un conit structurel a pr ec edemment et e d eni comme lexistence dune place P
i
qui a au
moins deux transitions de sortie T
j
, T
k
, etc.. Notation : .
Avec conflit effectif
T1
T2
T3
P1
P2 P3
Sans conflit effectif
T1
T2
T3
P1
P2 P3
FIG. 3.5 Conit effectif ou pas
Denition 3.2.9 Un conit effectif est lexistence dun conit structurel 
et dun marquage M tels que le nombre de marques dans la place P
i
est strictement inf erieur
au nombre des transitions de sortie de P
i
valid ees par le marquage M (voir Figure 3.5).
Lors quun conit effectif se produit, il est n ecessaire de choisir la transition qui va etre effecti-
vement franchie.
P5
P1
T1
P3
P2
T2
P4
FIG. 3.6 RdP persistant
Denition 3.2.10 Un RdP est persistant pour un marquage initial M
0
si pour tout marquage
M
i
accessible ` a partir de M
0
, on a : si T
j
et T
k
sont valid ees par le marquage M
i
alors T
j
T
k
(T
k
T
j
) est une s equence de franchissement ` a partir de M
i
.
Si le RdP est persistant alors il nest pas n ecessaire deffectuer un choix lors dun conit
effectif. Un exemple est donn e Figure 3.6.
3.3 Invariants
A partir dun marquage initial, le marquage dun RdP evolue par franchissements de tran-
sitions. En labsence de blocage, le nombre de franchissements de transitions et le nombre de
marquages effectivement r ealis ees sont illimit ees. Il est donc difcile d etudier les s equences de
transition et les marquages accessibles simplement par exemple en entreprenant une enum eration.
On est donc amener ` a d enir des invariants caract erisant certaines propri et es des s equences de
transitions et des marquages accessibles quelque soit l evolution.
3.3.1 Composante conservative
Lorsquon consid` ere lexemple des 4 saisons, mod elis e par le RdP repr esent e Figure 2.7, on
peut noter que la somme du nombre de marques pr esentes dans le RdP ` a un instant donn e est
toujours egal ` a un (conservation du nombre de marques) :
M(P
1
) +M(P
2
) +M(P
3
) +M(P
4
) = 1.
Cette egalit e exprime quon ne peut avoir quune saison ` a la fois. Dautre part, elle implique
que i 1, 2, 3, 4, M(P
i
) 1. Le RdP est donc sauf.
Dans lexemple de latelier de coupe simpli e pr esent e Figure 3.1, on a :
M(P
2
) +M(P
3
) +M(P
4
) = 4 M(P
1
) +M(P
3
) = 1
M(P
2
) est le nombre de commandes en attente, M(P
3
) le nombre de commande trait ee par la
machine de coupe et M(P
4
) celui qui ont et e trait ees et stock ees. Le premier invariant indique
donc que le nombre total de commandes dans latelier quelque soit sa forme reste constant.
M(P
1
) vaut 1 si la machine de coupe est disponible et M(P
3
) vaut 1 si la machine de coupe
traite une commande. Cet invariant indique donc que soit la machine de coupe est disponible,
soit elle traite une commande. On peut interpr eter cela comme une capacit e limit ee au niveau
de la place P
3
: elle ne peut contenir quune marque au maximum.
ET
ES RDP
Denition 3.3.1 Soit R un R eseau de Petri et P lensemble de ses places. On a un invariant
de marquage sil existe un ensemble de places P
P et un vecteur dentiers naturels appel e

vecteur de pond erations q tels que :
M

M
0
,
P
i
P
q
i
M(P
i
) = constante
P
est appel e composante conservative. Un RdP est conservatif si et seulement si P
= P.
Le RdP 4 saisons est conservatif.
Remarque La propri et e composante conservative est ind ependante du marquage initial M
0
.
Par contre, la valeur de la constante d epend de M
0
.
3.3.2 Composante r ep etitive
Il sagit ici d etudier le comportement cyclique de l evolution de certains RdPs. Dans lexemple
des 4 saisons, les s equences franchissables ` a partir du marquage initial
M
0
=
_
_
1
0
0
0
_
_
sont : T
1
, T
1
T
2
, T
1
T
2
T
3
, T
1
T
2
T
3
T
4
, etc.. T
1
T
2
T
3
T
4
est une s equence qui partant de M
0
ram` ene ` a
l etat initial :
M
0
[ T
1
T
2
T
3
T
4
> M
0
Elle pourra donc etre r ep et ee ind eniment.
Denition 3.3.2 On appelle s equence r ep etitive stationnaire, une s equence de franchissements
S telle que
M
0
[ S > M
0
.
La s equence est dite compl` ete si elle contient toutes les transitions du RdP. On appelle s equence
r ep etitive croissante, une s equence de franchissements S telle que
M
0
[ S > M
0
avec M
0
> M
0
.
On appelle s equence r ep etitive d ecroissante, une s equence de franchissements S telle que
M
0
[ S > M
0
avec M
0
> M
0
.
On appelle composante r ep etitive lensemble T
des transitions de T apparaissant dans la

s equence S. Le RdP est dit r ep etitif si T = T
.
Propri et e 3.3.1 Si S est une s equence r ep etitive pour la condition initiale M
0
alors cest aussi
une s equence r ep etitive pour la marquage initial M
0
M
0
.
Apr` es avoir d eni les propri et es des RdPs quil est int eressant danalyser, se pose naturel-
lement le probl` eme de les analyser pratiquement. Trois grandes approches ont et e d evelopp ees.
La premi` ere est bas ee sur lutilisation des graphes et arborescences de marquage (chapitre 4), la
seconde fait appel ` a lalg` ebre lin eaire (chapitre 5) et enn la troisi` eme consiste ` a r eduire le RdP
etudi e en un RdP plus simple conservant les propri et es analys ees du RdP initial (chapitre 6).
Chapitre 4
Etude des propri et es des R eseaux de Petri
par graphes et arborescences de
marquages
4.1 Introduction
Lid ee la plus naturelle pour etudier les propri et es dun RdP est de construire le graphe de
tous les marquages accessibles. Le graphe des marquages accessibles est un graphe dont chaque
sommet correspond ` a un marquage accessible et dont chaque arc correspond au franchissement
dune transition permettant de passer dun marquage ` a lautre.
Dans lexemple de latelier de coupe simpli e pr esent e Figure 3.1,
Le graphe est, dans cet exemple, de dimension nie. Par inspection directe, on peut d eterminer
le RdP marqu e : 4-born e, pas vivant, quasi vivant, avec un blocage et un etat daccueil, pas
r einitialisable. Il ny a pas de s equence r ep etitive stationnaire. On a les invariants de marquage
suivant :
Suivant les exemples consid er es, le graphe obtenu peut etre de dimension innie. Consid erons
le RdP repr esent e Figure 4.1.
43
44 CHAPITRE 4 ANALYSE PAR GRAPHES
P1
P2
P3 P4
T1
T3
T2
FIG. 4.1 Exemple 1 Graphes de marquage
La s equence r ep etitive croissante T
2
T
1
m` ene ` a un marquage du type :
_
_
0
1
k
0
_
_
o` u k est un entier qui peut etre arbitrairement grand. Le graphe de marquage est donc de dimen-
sion innie. Pour traiter de ce cas de gure, on introduit la notation . repr esente un entier
arbitrairement grand
1
. Il a les propri et es suivantes : avec n un entier naturel
+n = + =
n =
n <
On a ainsi obtenu le graphe de couverture des marquages accessibles. (Pourquoi le
terme couverture ?). Bien quassoci e ` a un RdP dont le nombre de marquages accessibles
nest pas born e, ce graphe a un nombre ni de sommets.
A partir du graphe de couverture, on peut conclure sur la bornitude et la quasi vivacit e du
RdP. Dans cet exemple, P
1
et P
2
sont 1 born es. P
3
et P
4
ne sont pas born es. Le RdP est
quasi vivant. Il nest pas possible de conclure sur les autres propri et es car lintroduction de
correspond ` a une perte dinformation. On ne sait pas quelles valeurs prendra exactement
la composante du marquage qui le contient.
A un graphe de couverture, il est possible dassocier une arborescence de couverture. Une
arborescence peut etre obtenue ` a partir dun graphe en supprimant les circuits. Cela donne
ici :
1
En r ealit e, d esigne le cardinal de N ensemble des entiers naturels.
A partir de larborescence de couverture, le graphe de couverture est obtenu en fusionnant
les sommets qui correspondent au m eme marquage.
4.2 Construction de larborescence de couverture
La question est de savoir sil existe un algorithme permettant de construire syst ematiquement
larborescence de couverture. La r eponse est oui. Il peut se d ecomposer en deux etapes.
Etape 1 A partir du marquage initial M
0
(qui est la racine de larborescence), on indique
toutes les transitions qui sont valid ees ainsi que les marquages successeurs. Si lun de
ces marquages est strictement sup erieur
2
` a M
0
, on met pour chacune des composantes
sup erieures aux composantes correspondantes de M
0
.
Appliqu e ` a lexemple pr ec edent, cela donne :
Etape 2 Pour chaque nouveau marquage M
k
(sommet) de larborescence :
1. Sil existe sur le chemin de M
0
` a M
k
exclus un marquage M
l
= M
k
alors M
k
na
pas de successeur.
Appliqu e ` a lexemple pr ec edant, cela donne :
2. Sinon, on prolonge larborescence en ajoutant tous les successeurs de M
k
. Pour
chaque successeur M
l
de M
k
:
(a) on conserve les composantes de M
k
(b) sil existe un marquage M
m
sur le chemin de M
0
` a M
l
exclus tel que M
l
> M
m
alors on met pour chacune des composantes de M
l
strictement sup erieure aux
composantes de M
m
.
Appliqu e ` a lexemple pr ec edant, cela donne :
Exemple de mise en uvre Appliquer lalgorithme pr ec edent au RdP repr esent e Figure 4.2.
En d eduire le graphe de marquage.
4.3 Propri et es et int er ets de larborescence (graphe) de cou-
verture
Th eor` eme 4.3.1 Pour tout RdP marqu e, larborescence (graphe) de couverture est ni.
2
Il y a alors cr eation dau moins une nouvelle marque.
46 CHAPITRE 4 ANALYSE PAR GRAPHES
P1
P2
P3
T1 T3
T2
FIG. 4.2 Exemples Graphes de marquage
Th eor` eme 4.3.2 Un RdP marqu e (une place P
i
dans un RdP marqu e) est non born e si et seule-
ment sil existe un sommet de larborescence (graphe) de couverture tel quune composante
dun marquage (la composante M(P
i
)) soit .
Une propri et e Prop concernant un ensemble E est d ecidable quand il existe un algorithme
qui avec en entr ee un el ement e de E fournit en sortie la r eponse OUI si e poss` ede la propri et e
Prop, NON sinon. La propri et e etre born e dun RdP est d ecidable.
Limite de graphes de couverture dans le cas dun graphe de marquages de dimension innie,
le graphe de couverture ne permet pas danalyser la vivacit e. Lintroduction de correspond ` a
une perte dinformation.
Chapitre 5
par alg` ebre lin eaire
Dans ce chapitre, les r eseaux de Petri g en eralis es sont introduits. Les RdPs ordinaires pr ec e-
demment etudi es sont inclus dans les RdPs g en eralis es. De plus, lanalyse des RdPs g en eralis es
par alg` ebre lin eaire est pr esent ee. Elle permet d etudier des propri et es structurelles, cest-` a-dire
les propri et es du RdP non marqu e.
5.1 Notations et d enitions
5.1.1 Structure
Les R eseaux de Petri ordinaires ont et e d enis dans la d enition 2.1.1. Une d enition alter-
native est maintenant pr esent ee : son int er et est de permettre, par une simple extension, lintro-
duction des R eseaux de Petri g en eralis es.
Denition 5.1.1 Un RdP ordinaire non marqu e est un quadruplet Q =< P, T, Pre, Post >
o` u
P = P
1
, . . . , P
n
est un ensemble ni non vide de places ;
T = T
1
, . . . , T
m
est un ensemble ni non vide de transitions ;
P
T = ;
Pre : P T 0, 1 est lapplication dincidence avant telle que si un arc relie P
i
` a
T
j
, Pre(P
i
, T
j
) = 1, sinon Pre(P
i
, T
j
) = 0 ;
Post : P T 0, 1 est lapplication dincidence arri` ere telle que si un arc relie T
j
` a P
i
, Post(P
i
, T
j
) = 1, sinon Post(P
i
, T
j
) = 0.
Exemple de latelier de coupe simpli e Dapr` es son RdP repr esent e Figure 5.1, on a :
i 1, 2 Pre(P
i
, T
2
) = 1 Post(P
3
, T
2
) = 1
i 3, 4 Pre(P
i
, T
2
) = 0 i 1, 2, 4 Post(P
i
, T
2
) = 0
Pre(P
3
, T
3
) = 1 i 1, 4 Post(P
i
, T
3
) = 1
i 1, 2, 4 Pre(P
i
, T
3
) = 0 i 2, 3 Post(P
i
, T
3
) = 0
Denition 5.1.2 Un RdP g en eralis e non marqu e est d eni comme un RdP ordinaire sauf que :
lapplication dincidence avant est d enie par Pre : P T N;
lapplication dincidence arri` ere est d enie par Post : P T N.
47
48 CHAPITRE 5 ALG
`
EBRE LIN
EAIRE
P1
P2
T2
T3
P3
P4
FIG. 5.1 Atelier de coupe simpli e
A chaque arc reliant P
i
` a T
j
(respectivement T
j
` a P
i
) est ainsi associ e un nombre naturel :
Pre(P
i
, T
j
) (resp. Post(P
i
, T
j
)). Ce nombre est appel e poids ou valuation et peut etre diff erent
de 1.
Sur la repr esentation graphique du RdP g en eralis e, ce nombre est indiqu e ` a cot e de larc corres-
pondant (voir gure 5.2).
P1
P2
T2
T1
T3
2
3
6
4
5
7
FIG. 5.2 Exemple 1 Alg` ebre lin eaire
A laide des applications Pre et Post, on peut d enir les ensembles des places (transitions)
dentr ee (de sortie) dune transition (place) :
Ensemble des places dentr ee de la transition T
j
:
o
T
j
= P
i
P [ Pre(P
i
, T
j
) > 0 ;
Ensemble des places de sortie de la transition T
j
: T
o
j
= P
i
P [ Post(P
i
, T
j
) > 0 ;
Ensemble des transitions dentr ee de la place P
i
:
o
P
i
= T
j
T [ Post(P
i
, T
j
) > 0 ;
Ensemble des transitions de sortie de la place P
i
: P
o
i
= T
j
T [ Pre(P
i
, T
j
) > 0.
An de pouvoir les d ecrire de facon plus compacte, on associe aux applications Pre et Post les
matrices suivantes :
Matrice dincidence avant associ ee ` a lapplication Pre, elle est d enie par :
W
=
_
w
ij
avec w
ij
= Pre(P
i
, T
j
)
Matrice dincidence arri` ere associ ee ` a lapplication Post, elle est d enie par :
W
+
=
_
w
+
ij
avec w
+
ij
= Post(P
i
, T
j
)
Exemple de latelier de coupe simpli e Dapr` es son RdP repr esent e Figure 5.1, on a :
Exemple Figure 5.2
5.1.2 Marquage, evolution
Denition 5.1.3 Un RdP marqu e est un doublet < Q, M
0
> o` u Q est un RdP non marqu e et
o` u M
0
est le marquage initial.
Condition de franchissement Une transition T
j
est franchissable si
P
i

o
T
j
, M(P
i
) Pre(P
i
, T
j
).
Cela signie que, pour toute place P
i
j
, la transition T
j
sera franchis-
sable si le nombre de jetons pr esent dans chaque place P
i
est sup erieur ou egal ` a la valuation de
larc reliant la place P
i
` a la transition T
j
.
Apr` es franchissement, on obtient un nouveau marquage M
donn e par :
P
i
P, M
(P
i
) = M(P
i
) Pre(P
i
, T
j
) +Post(P
i
, T
j
).
Cela signie que, pour toute place P
i
j
, le franchissement de la
transition T
j
consiste ` a enlever dans la place P
i
un nombre de jetons egal ` a la valuation de
larc reliant la place P
i
` a la transition T
j
et pour toute place P
i
en sortie de la transition T
j
, le
j
consiste ` a ajouter dans la place P
i
un nombre de jetons egal
` a la valuation de larc reliant la place P
i
` a la transition T
j
.
Exemple On consid` ere le RdP g en eralis e repr esent e Figure 5.3, gauche. La transition T
1
est
franchissable car le nombre de marques dans P
1
est sup erieur ou egal ` a la valuation de larc
reliant P
1
` a T
1
qui est de 2 et le nombre de marques de P
2
est sup erieur ou egal ` a la valuation
de larc reliant P
2
` a T
1
. Le franchissement de T
1
consiste ` a enlever deux marques dans P
1
, une
marque dans P
2
et ` a ajouter 5 marques dans P
3
.
50 CHAPITRE 5 ALG
`
EBRE LIN
EAIRE
P1 P2
T1
P3
2
5
P1 P2
T1
P3
2
5
Franchissement
Exemple dun RdP g en eralis e : Mod` ele dune r eaction chimique On consid` ere les r eactions
chimiques suivantes :
H
2
C
2
O
4
2CO
2
+ 2H
+
+ 2e
2H
+
+ 2e
+H
2
O
2
2H
2
O
La quantit e de H
2
C
2
O
4
1
)
La quantit e de CO
2
2
)
La quantit e de H
+
3
)
La quantit e de e

4
)
La quantit e de H
2
O
2
5
)
La quantit e de H
2
O (nombre de marques dans la place P6)
La premi` ere r eaction chimique se produit (franchissement de la transition T
1
)
La deuxi` eme r eaction chimique se produit (franchissement de la transition T
2
)
P1
P2
P3
P4
P5
P6
T1
T2
2
2
2
2
2
2
FIG. 5.4 R eactions chimiques
On obtient alors le RdP repr esent e Figure 5.4. Le nombre de marques dans chaque place
correspond ici ` a la quantit e de chaque produit chimique.
Le franchissement dune transition T
j
modie le marquage du RdP de la facon suivante :
_
_
M
(P
1
)
.
.
.
M
(P
n
)
_
_
=
_
_
M(P
1
)
.
.
.
M(P
n
)
_
_
Pre(P
1
, T
j
)
.
.
.
Pre(P
n
, T
j
)
_
_
. .
W
_
0
.
.
.
0
1
0
.
.
.
0
_
_
j
+
_
_
Post(P
1
, T
j
)
.
.
.
Post(P
n
, T
j
)
_
_
. .
W
+
0
.
.
.
0
1
0
.
.
.
0
Soit :
M
= M + (W
+
W
)
. .
W matrice dincidence
_
_
0
.
.
.
0
1
0
.
.
.
0
_
_
La j
ieme
colonne de la matrice dincidence W donne donc la variation du nombre de jetons dans
chaque place lors du franchissement de la transition T
j
.
Exemple de latelier de coupe
W =
T
2
T
3
P
1
P
2
P
3
P
4
_
_
1 1
1 0
1 1
0 1
_
_
2
enl` eve une marque ` a P
1
et une marque ` a P
2
et ajoute une
marque ` a P
3
. Le franchissement de la transition T
3
enl` eve une marque ` a P
3
et ajoute une marque
` a P
1
et une marque ` a P
4
.
Remarques
La matrice dincidence W est ind ependante du marquage.
La matrice dincidence W est li ee ` a la structure du RdP. Si le r eseau est pur alors il est
possible de reconstruire le RdP ` a partir de sa matrice dincidence.
52 CHAPITRE 5 ALG
`
EBRE LIN
EAIRE
Exemple La matrice dincidence suivante correspond aux deux RdPs ci-dessous
P1
T1
P2
T2
W =
T
1
T
2
P
1
P
2
_
1 1
1 0
_
P1
T1
P2
T2
Dans le cas dun RdP impur, on ne peut donc pas reconstruire le RdP ` a partir de sa matrice
dincidence. W ne contient donc pas (toujours) toute linformation sur la structure du RdP.
5.2 Equation fondamentale
Exemple A partir du RdP repr esent e Figure 5.5 :
P1
P2
P3
T1
T3 T2
T4
P4 P5
_
_
0
1
0
0
1
_
_
. .
M
0
T
2
_
0
0
0
1
1
_
_
. .
M
1
T
4
_
1
0
0
0
0
_
_
. .
M
2
T
1
_
0
1
1
0
0
_
_
. .
M
3
T
2
_
0
0
1
1
0
_
_
. .
M
4
_
_
M
1
= M
0
+W
_
_
0
1
0
0
_
_
M
2
= M
1
+W
_
_
0
0
0
1
_
_
M
2
= M
0
+W
_
_
0
1
0
1
_
_
Le vecteur
_
_
0
1
0
1
_
_
donne le nombre de franchissement de chaque transition dans la s equence
S = T
4
T
2
.
Denition 5.2.1 Le vecteur caract eristique dune s equence de franchissement S, not ee s, est le
vecteur de N
m
tel que s
j
est le nombre de franchissements de la transition T
j
dans la s equence
S.
Exemple Pour S = T
2
T
4
T
1
T
2
, s =
_
_
1
2
0
1
_
_
.
Equation fondamentale Si S est une s equence franchissable ` a partir du marquage M
i
qui
m` ene au marquage M
k
:
M
i
[ S > M
k
alors
M
k
= M
i
+Ws (5.1)
o` u s est le vecteur caract eristique associ e ` a la s equence de franchissement S.
Exemple (suite) Pour le RdP Figure 5.5, la s equence S = T
2
T
4
T
1
T
2
est franchissable ` a partir
de M
0
. A quel marquage m` ene-t-elle ?
Pour le RdP Figure 5.5,
A la s equence de franchissement S = T
2
T
4
T
1
T
2
correspond le vecteur caract eristique :
Par suite :
54 CHAPITRE 5 ALG
`
EBRE LIN
EAIRE
Remarques
Deux s equences franchissables ` a partir dun m eme marquage et de m eme vecteur ca-
ract eristique m` enent au m eme marquage. Le marquage obtenu ne d epend donc pas de
lordre dans lequel les transitions sont franchies.
ss
= s +s
s est appel e vecteur caract eristique possible sil lui correspond au moins une s equence
de franchissements S ` a partir du marquage M
k
.
5.3 Pond eration des places et invariants de marquage
5.3.1 Pond erations
Soit un vecteur f =
_
_
q
1
.
.
.
q
n
_
_
N
n
. La composante q
i
est un poids associ e ` a la place P
i
.
Soit P(f) lensemble des places P
i
telles que q
i
,= 0.
Soit S une s equence de transitions franchissables ` a partir de M
0
: M
0
[ S > M
k
Dapr` es l equation (5.1) :
f
T
M
k
f
T
M
0
= f
T
Ws (5.2)
La quantit e f
T
Ws correspond ` a un accroissement pond er e du nombre de jetons.
Exemple de la valeur associ ee ` a une production en cours On consid` ere le montage dun
moteur sur une carrosserie pour construire une voiture. L etat du syst` eme est caract eris e par :
P1
P2
P3
T1
FIG. 5.6 Assemblage voiture
La quantit e de moteurs en stock (nombre de marques dans la place P
1
)
La quantit e de carrosseries en stock (nombre de marques dans la place P
2
)
La quantit e de voitures en stock (nombre de marques dans la place P
3
)
Le montage dun moteur sur la caisse (franchissement de la transition T
1
)
On obtient le RdP repr esent e Figure 5.6. Soit le vecteur de pond erations :
f =
_
_
valeur dun moteur
valeur dune carrosserie
valeur dune voiture
_
_
f
T
W 1 correspond ` a laccroissement de la valeur induite par le montage dun moteur sur une
carrosserie.
W =
T
1
P
1
P
2
P
3
_
_
1
1
1
_
_
Do` u
f
T
W 1 = valeur dune voiture (valeur dun moteur + valeur dune carrosserie)
Au del` a de leur interpr etation, les accroissements pond er ees permettent d etudier les pro-
pri et es structurelles dun RdP, cest-` a-dire des propri et es v eri ees pour tout condition initiale.
Propri et e 5.3.1 (bornitude) Le RdP est structurellement born e si et seulement si
f > 0, f
T
W 0.
Propri et e 5.3.2 (vivacit e) Il nexiste pas de marquage M
0
tel que le r eseau de Petri < Q, M
0
>
soit vivant si
f > 0, f
T
W 0
(tous les el ements de f
T
W sont n egatifs ou nuls avec au moins un qui est strictement n egatif).
5.3.2 Invariants de marquage
Si f
T
W = 0 alors, dapr` es l equation (5.2) :
M
k

M
0
, f
T
M
k
= f
T
M
0
On a donc

q
i
M(P
i
) = constante. P(f) est donc une composante conservative. On peut
donc calculer les composantes conservative en cherchant f ,= 0 tel que f
T
W = 0.
Denition 5.3.1 Le vecteur f ,= 0 tel que f
T
W = 0 est appel e un P-semi ot.
La connaissance de P-semi ots permet d etudier la bornitude de places dun RdP.
Propri et e 5.3.3 Soit P(f) une composante conservative avec f =
_
_
q
1
.
.
.
q
n
_
_
.
Toutes les places P
i
de P(f) sont born ees et on a :
M(P
i
)
f
T
M
0
q
i
.
Propri et e 5.3.4 Soient f et f deux P-semi ots. Soient N et N.
f +f est un P-semi ot avec P(f +f) = P(f)
P(f)
Si f f alors f f est un P-semi ot.
56 CHAPITRE 5 ALG
`
EBRE LIN
EAIRE
Exemple Pour le RdP repr esent e Figure 5.5 : f =
_
_
1
1
0
1
0
_
_
et f =
_
_
1
0
1
0
1
_
_
sont deux P-semi
ots. Alors, dapr` es Propri et e 5.3.4
f +f =
_
_
2
1
1
1
1
_
_
est aussi un P-semi ot. Comme P(f +f) = P, le RdP est conservatif.
Dapr` es Propri et e 5.3.4, pour un RdP donn e, sil existe un P-semi ot, celui-ci nest pas
unique : on en a en r ealit e une innit e. Il est possible dexprimer lensemble des P-semi ots
comme une combinaison lin eaire dun nombre minimal de P-semi ots el ementaires f
1
, f
2
, ,
f
q
:
1
N, . . . ,
q
N, f =
q
i=1
i
f
i
.
Pour d ecrire lensemble des P-semi ots dun RdP, il suft donc de d eterminer les P-semi ots
el ementaires. Leur d etermination est illustr ee par les exemples suivants.
P1
P2
P3
P4
T1
T2
T3
T4
FIG. 5.7 Quatre saisons
Exemple 4 saisons On reprend lexemple des 4 saisons (RdP repr esent e Figure 5.7). La ma-
trice dincidence est donn ee par :
Nous allons maintenant d eterminer les solutions f =
_
_
q
1
q
2
q
3
q
4
_
_
de l equation f
t
W = 0.
Donc, tout P-semi ot de ce RdP s ecrit :
Exemple Atelier de coupe simpli e On reprend lexemple de latelier de coupe simpli e
(RdP repr esent e Figure 3.1). La matrice dincidence est donn ee par :
q
1
et q
2
sont ici deux degr es de libert e. Par suite, tout P-semi ot s ecrit :
5.4 Composantes r ep etitives
Notation : T(s) est lensemble des transitions qui apparaissent dans la s equence de franchis-
sements S de vecteur caract eristique s.
Propri et e 5.4.1 Un ensemble D de transitions est une composante r ep etitive stationnaire si et
seulement sil existe une s equence de franchissements S telle que T(s) = D et Ws = 0. D est
une composante r ep etitive croissante si Ws > 0.
Denition 5.4.1 On appelle T-semi ot, tout vecteur s tel que Ws = 0.
Attention, tout T-semi ot ne correspond pas forcement ` a une composante r ep etitive station-
naire. En effet, pour l etre, il est n ecessaire quil corresponde ` a une s equence franchissable.
Propri et e 5.4.2 Si une s equence franchissable S est telle que s est un T-semi ot alors une
condition n ecessaire pour que le RdP soit r einitialisable est que
M [ S > M.
58 CHAPITRE 5 ALG
`
EBRE LIN
EAIRE
5.5 Remarque sur le lien entre RdP ordinaire et RdP g en eralis e
2
P1
P3 P2
T1
T2
P1
P3
P2
T1
T2
T1"
P0
P0
FIG. 5.8 RdP g en eralis e et RdP ordinaire equivalent
Propri et e 5.5.1 Tout RdP g en eralis e peut etre transform e en un RdP ordinaire.
Un exemple de RdP g en eralis e et de RdP ordinaire equivalent est pr esent e Figure 5.8. Lint er et
de lutilisation de RdP g en eralis es est evident : il permet dobtenir des mod` eles RdP plus
concis. Les RdPs g en eralis es font partie des classes de mod` eles RdPs appel ees abr eviations.
Ces classes de mod` eles RdPs permettent de repr esenter les m emes syst` emes que les RdPs mais
avec une repr esentation graphique beaucoup plus concise. Une seconde classe dabr eviations
sera introduite dans le chapitre 7.
Chapitre 6
par r eduction
Pour lanalyse des propri et es dun RdP, des difcult es peuvent apparatre dans lutilisation
du graphe de marquages voire de lalg` ebre lin eaire dans le cas dun RdP de taille signicative.
Lobjectif de ce chapitre est de pr esenter des r` egles permettant dobtenir ` a partir dun RdP
marqu e, un RdP marqu e plus simple, cest-` a-dire avec un nombre r eduit de places et un nombre
r eduit de transitions (r` egles de r eduction). Ce dernier doit etre
1. pour les propri et es etudi ees, equivalent au RdP marqu e de d epart ;
2. sufsamment simple pour que lanalyse de ses propri et es soit simple.
En g en eral, le RdP simpli e ne peut pas sinterpr eter comme le mod` ele dun syst` eme.
On peut distinguer deux types de r` egles de r eduction :
1. r` egles de r eduction pr eservant la vivacit e et la bornitude (et leurs propri et es associ ees) ;
2. r` egles de r eduction pr eservant les invariants de marquage.
Dans ce chapitre, on se concentrera sur les r` egles les plus simples et les plus utiles. La
pr esentation se fera pour les RdP ordinaires : le cas des RdPs g en eralis es peut etre trait e, mutatis
mutandis.
6.1 R` egles de r eduction pr eservant la vivacit e et la bornitude
6.1.1 R` egle de r eduction R1 : substitution de places
Exemple introductif Sur le RdP Figure 6.1, si la transition T
1
est franchie alors la transition
T
2
le sera t ot ou tard car le franchissement de la transition T
1
ajoute une marque dans la place P
2
rendant ainsi la transition T
2
franchissable, transition T
2
nayant pas dautre place dentr ee. Le
2
active alors la place P
3
. On aurait un comportement similaire
si la place P
1
etait en entr ee dune transition admettant P
3
comme place de sortie. On notera
T
12
la transition qui remplace ainsi lensemble transition T
1
, place P
2
et transition T
2
.
On avait d ej` a vu un tel proc ed e dans lexemple du RdP repr esent e Figure 2.30, RdP mod elisant
de facon simpli e latelier de coupe. Dans ce RdP, la transition T
23
repr esente elle-m eme un RdP
repr esent e Figure 2.31. On est dans le m eme cas de gure que lexemple pr ec edent.
59
60 CHAPITRE 6 REDUCTION
T12
P1
P3
T1
P1
P2
P3
T2
FIG. 6.1 R eduction R1
Denition 6.1.1 (Place substituable) Une place P
i
peut etre substitu ee
1
si
1. Les transitions de sortie de P
i
nont pas dautre place dentr ee que P
i
:
T
j
P
o
i
,
o
T
j
= P
i
.
Le franchissement dune transition dentr ee de P
i
implique ainsi t ot ou tard le franchis-
sement dune transition de sortie de P
i
.
2. Il nexiste pas de transition T
j
qui soit ` a la fois transition dentr ee de P
i
et transition de
sortie de P
i
:
P
o
i
o
P
i
= .
3. La place P
i
admet au moins une transition de sortie qui nest pas une transition puits :
T
j
P
o
i
, T
o
j
,= .
R eduction R1 Dans le cas o` u P
i
est une place substituable non marqu ee, la r eduction R1
consiste ` a supprimer la place P
i
. Les transitions dentr ee T
j
et de sortie T
l
sont remplac ees par
des transitions T
jl
correspondant ` a toutes les combinaisons possibles dune transition dentr ee
avec une transition de sortie. Les places dentr ee de la transition T
jl
sont les places dentr ee de
la transition T
j
; les places de sortie de la transition T
jl
sont les places de sortie des transitions
T
j
et T
l
. Voir exemple Figure 6.2.
Dans le cas o` u P
i
est une place substituable contenant une ou plusieurs marques, cette ou
ces marques vont se retrouver dans les places de sortie des nouvelles transitions T
jl
. Si plusieurs
cas sont possibles, il est n ecessaire de les consid erer tous. Dans ce cas-l` a le RdP sera equivalent
` a plusieurs RdPs r eduits, voir exemple Figure 6.3.
Propri et es conserv ees par la r eduction R1 le RdP initial et le(s) RdP(s) r eduit(s) sont
equivalent pour les propri et es suivantes : born e, sauf, vivant, quasi vivant, sans blocage, avec
etat daccueil, conservatif. Il y a n eanmoins une perte dinformation puisque sils sont born es,
la valeur de la borne nest pas conserv ee (` a lexception de sauf ). Les etats daccueil sils existent
ne sont pas les m emes.
1
Le terme supprim ee serait plus ad equat : il ne sera pas utilis e car non consacr e par lusage.
T12
P1
P3
T1
P1
P2
P3
T2
P4
R1
P4
T1
T2
T3
P1
P2 P3
P0
R1
T12
T13
P2 P3
P0
T1
T2
T3
P2
P3 P4
P0
R1
T0
P1
T12 T13
P3
P0
T02
P1
P4
T03
T12
T13
P2 P3
P0
T1
T2
T3
P1
P2 P3
P0
T12
T13
P2 P3
P0
R1
ET
FIG. 6.3 R eduction R1 place substituable marqu ee
6.1.2 R` egle de r eduction R2 : place implicite
T1
P1
P2
T1
P1
R2
Exemple introductif Sur le RdP repr esent e Figure 6.4, du fait du marquage initial, la place
P
2
est ici toujours marqu ee. Le fait que la transition T
1
soit franchissable est donc ind ependant
de l evolution du marquage de P
2
. Le RdP evoluerait donc de la m eme facon si la place P
2
nexistait pas : P
2
nest pas un obstacle au franchissement de T
1
. Sa suppression naura donc
pas dinuence sur l evolution du RdP.
Denition 6.1.2 (Place implicite) Une place P
i
est implicite si
1. Le marquage de P
i
nest jamais un obstacle au franchissement de ses transitions de sor-
tie :
T
j
P
o
i
, P
k

o
T
j
P
i
, M(P
k
) Pre(P
k
, T
j
) = M(P
i
) Pre(P
i
, T
j
)
2. Son marquage se d eduit du marquage des autres places par la relation :
M(P
i
) =
k=i
k
M(P
k
) +
o` u
k
et sont des nombres rationnels positifs. On assure ainsi que si les places P
k
avec
k ,= i sont born ees alors la place P
i
est forcement born ee.
Dans lexemple introductif :
1. Comme M(P
2
) = 1 et Pre(P
2
, T
1
) = 1 , on a toujours M(P
2
) Pre(P
2
, T
1
).
2. Cette relation est v eri ee avec
k
= 0 et = 1.
R eduction R2 La r eduction R2 consiste ` a supprimer la place implicite avec ses arcs en entr ee
et en sortie.
T1
P1
P2
P3
T2
P4
T3
T1
P1
P2
P3
T2
P4
T3
T1
P1
P2
P3
T2
P4
T3
T1
P1
P2
P3
T2
P4
T3
Exemple Pour les 4 RdPs (partiels) repr esent es Figure 6.5, y-a-t-il une place implicite ?
equivalents pour les propri et es suivantes : born e, vivant, quasi vivant, sans blocage, avec etat
daccueil, conservatif. En g en eral, la propri et e sauf nest pas conserv ee.
6.1.3 R` egle de r eduction R3 : transition neutre
T5
P1
T1
P2
T2
T3
T4
P1
T1
P2
T2
T3
T4
R3
Exemple introductif Sur le RdP Figure 6.6, le franchissement de la transition T
5
nentrane
pas la modication du marquage. Elle ne participe donc pas ` a l evolution du RdP. On peut donc
simplier le RdP en la supprimant.
Denition 6.1.3 (Transition neutre) Une transition est neutre si lensemble de ces places dentr ee
est egal ` a lensemble de ses places de sortie :
o
T
j
= T
o
j
.
R eduction R3 La r eduction R3 consiste ` a supprimer la transition neutre T
j
avec lensemble
de ses arcs en entr ee et en sortie. Elle ne sera effectu ee que sil existe une transition T
l
,= T
j
telle que son franchissement mette sufsamment de marques dans les places dentr ee de T
j
pour
la rendre franchissable :
T
l
,= T
j
, P
i

o
T
j
, Post(P
i
, T
l
) Pre(P
i
, T
j
).
equivalent pour les propri et es suivantes : born e, sauf, vivant, quasi vivant, sans blocage, avec
etat daccueil, conservatif.
6.1.4 R` egle de r eduction R4 : transitions identiques
Exemple introductif Dans lexemple de RdP Figure 6.7, les transitions T
1
et T
2
sont iden-
tiques : m emes places dentr ee, m emes places de sortie.
Denition 6.1.4 (Transitions identiques) Deux transitions T
j
et T
l
sont identiques si elles ont
m emes ensembles de places dentr ee et m emes ensembles de places de sortie :
o
T
j
=
o
T
l
et T
o
j
= T
o
l
.
P1
T1
P2
T2
R4
P3
P1
T1
P2
P3
R eduction R4 La r eduction R4 consiste ` a supprimer lune des transitions identiques avec
lensemble de ses arcs en entr ee et en sortie.
Propri et es conserv ees par la r eduction R4 le RdP initial et le RdP r eduit sont equivalent
pour les propri et es suivantes : born e, vivant, sauf, quasi vivant, sans blocage, avec etat dac-
cueil, conservatif.
6.1.5 Exemple de mise en uvre des diff erentes r` egles R1 ` a R4
P1
P2
P3
T1
T3 T2
T4
P4 P5
FIG. 6.8 Exemple mise en uvre r eduction R1 ` a R4
Mettre en uvre les r` egles R1 ` a R4 pour la r eduction du RdP repr esent e Figure 6.8.
6.2 R` egles de r eduction pr eservant les invariants de marquage
6.2.1 R` egle de r eduction Ra : transition impure
Denition 6.2.1 (Transition impure) une transition T
j
est impure si elle admet au moins une
place dentr ee qui est aussi place de sortie :
o
T
j
T
o
j
,= .
Soit :
P
i
P, P
i

o
T
j
et P
i
T
o
j
.
P5
P1
T1 P4
P5
P1
T1 P4
Ra
P4 P4
Ra
T1
FIG. 6.9 R eduction Ra
R eduction Ra Pour une transition impure T
j
, la r eduction Ra consiste ` a :
1. supprimer les arcs reliant T
j
` a la place P
i
qui est ` a la fois place dentr ee de T
j
et place de
sortie de T
j
;
2. supprimer la transition T
j
si elle na plus de place en entr ee et si elle na plus de place en
sortie.
Exemple Voir exemple Figure 6.9.
6.2.2 R` egle de r eduction Rb : transition pure
Denition 6.2.2 (Transition pure) une transition T
j
est pure si elle nest pas impure.
T1 T2
T3
P2
P3
P4
Rb
P1
T1
P1+P3
P1+P4
P2+P3 P2+P4
T2
T4 T4 T5
T5
FIG. 6.10 R eduction Rb
R eduction Rb Pour une transition pure T
j
, la r eduction Rb sapplique sous la condition que
T
j
ait au moins une place en entr ee et une place en sortie :
o
T
j
,= et T
o
j
,= .
La r eduction Rb consiste ` a :
1. Supprimer la transition T
j
;
2. A tout couple de places (P
i
, P
k
) avec P
i

o
T
j
et P
k
T
o
j
, on associe une place not ee
P
i
+P
k
dont le marquage est donn e par : M(P
i
+P
k
) = M(P
i
) +M(P
k
).
3. Les transitions dentr ee de P
i
+P
k
sont les transitions dentr ee de P
i
et de P
k
, la transition
T
j
except ee, les transitions de sortie de P
i
+ P
k
sont les transitions de sortie de P
i
et de
P
k
, la transition T
j
except ee :
o
(P
i
+P
k
) =
o
P
i
o
P
k
T
j
et (P
i
+P
k
)
o
= P
o
i
P
o
k
T
j
Exemple Voir exemple Figure 6.10.

6.2.3 Exemple de mise en uvre des r` egles Ra et Rb
Mettre en uvre les r` egles Ra et Rb pour la r eduction du RdP repr esent e Figure 6.8.
6.2.4 Remarques
Quand les r eductions Ra et Rb ne sappliquent plus, on est dans un cas similaires aux 4 cas
suivants :
P1+P2
P
1
, P
2
forme une composante conservative associ ee ` a
linvariant de marquage : M(P
1
) +M(P
2
) = 1
P1+P2
La transition T
1
(si vivante) etant une transition puits, le marquage de P
1
peut etre nul
P1+P2
T1
P
1
ou P
2
est non born ee (T
1
vivante)
P1+P2
T1
T2
Le RdP r eduit obtenu d epend de lordre dans lesquelles les op erations ont et e effectu ees.
Par exemple, r eduire le RdP repr esent e Figure 6.11 en commencant par effectuer la r eduction
Rb sur T
1
puis recommencer en commencant par effectuer la r eduction Rb sur T
2
. Comparer les
deux RdPs r eduits obtenus.
T1
P1
P2
P3
T2
FIG. 6.11 R eduction Ra et Rb
Chapitre 7
R eseaux de Petri color es
La mod elisation dun syst` eme r eel peut mener ` a des r eseaux de Petri de taille trop importante
rendant leur manipulation et/ou leur analyse difcile. La question est alors de modier ( etendre)
la mod elisation par RdP de facon ` a obtenir des mod` eles RdP de plus petite taille. Cette question
a motiv e lintroduction des RdPs g en eralis es, chapitre 5. Elle a et e discut ee dans la section 5.5.
Une telle classe de mod` eles y a et e d esign ee par le terme dabr eviation. Dans le chapitre pr esent,
nous introduisons une autre classe dabr eviation, les RdPs color es. Ils sont important pour la
mod elisation de syst` emes de production (au sens large). Ils ont et e motiv es par le fait suivant.
Une taille trop importante peut d ecouler du fait que lon ne peut pas distinguer entre elles les
diff erentes marques dune place. Plusieurs marques dans une place peuvent mod eliser un certain
nombre de pi` eces identiques dans un stock. Si le stock contient plusieurs types de pi` eces, des
places suppl ementaires doivent etre introduites pour sa mod elisation.
Voir par exemple Figure 7.1. Le nombre de marques dans la place P
3
correspond au nombre
de pi` eces de type 1 en stock. Le nombre de marques dans la place P
4
correspond au nombre
de pi` eces de type 2 en stock. Le nombre de marques dans la place P
7
indique le nombre dem-
placements libres dans le stock. Si un stock est susceptible de contenir deux (respectivement n)
types de pi` eces, il doit donc etre mod elis e par au moins 3 (resp. n + 1) places. Peut-on ima-
giner une modication du mod` ele RdP qui permette de la mod eliser par un nombre de places
P1
P3
P5
P4
P2
T1
T3
T2
T4
P6
P7
FIG. 7.1 Stock contenant deux types de pi` eces
ind ependant du nombre de types de pi` eces stock ees ? Intuitivement, si on est capable de distin-
guer les diff erentes marques les unes des autres, on pourrait associer ` a chaque type de marques
un type de pi` eces. Deux places seraient alors n ecessaires pour mod eliser le stock : une place
dont le marquage indique le nombre (et le type) de pi` eces stock ees et une place dont le marquage
69
70 CHAPITRE 7 RDP COLOR
ES
indique le nombre demplacements libres. Pour distinguer les marques les unes des autres, on
introduit la notion de couleur.
7.1 Introduction aux RdPs color es ` a travers des exemples
Exemple 1 : introduction de marques color ees Un syst` eme de production est constitu e
dune premi` ere machine avec son stock en sortie de capacit e limit ee ` a 3 produisant la pi` ece
a et dune seconde machine avec son stock en sortie de capacit e limit ee ` a 3 produisant la pi` ece
b . L etat du syst` eme est caract eris e par :
La premi` ere machine produit la pi` ece a (une marque dans la place Pa
1
)
La premi` ere machine est en attente (une marque dans la place Pa
3
)
Le nombre de pi` eces dans le stock de sortie de la premi` ere machine (nombre de marques
dans la place Pa
2
)
Le nombre de places libres dans le stock de sortie de la premi` ere machine (nombre de
marques dans la place Pa
4
)
La seconde machine produit la pi` ece b (une marque dans place Pb
1
)
La seconde machine est en attente (une marque dans place Pb
3
)
Le nombre de pi` eces dans le stock de sortie de la seconde machine (nombre de marques
dans la place Pb
2
)
Le nombre de places libres dans le stock de sortie de la seconde machine (nombre de
marques dans la place Pb
4
)
le d ebut de la production dune pi` ece a par la premi` ere machine (franchissement de Ta
1
)
la n de la production dune pi` ece a par la premi` ere machine (franchissement de la tran-
sition Ta
2
)
le retrait dune pi` ece a du stock de la premi` ere machine (franchissement de la transition
Ta
3
)
le d ebut de la production dune pi` ece b par la seconde machine (franchissement de Tb
1
)
la n de la production dune pi` ece b par la seconde machine (franchissement de la transi-
tion Tb
2
)
le retrait dune pi` ece b du stock de la seconde machine (franchissement de la transition
Tb
3
)
Au d epart, la premi` ere machine attend tandis que la deuxi` eme machine produit une pi` ece b.
Le stock de sortie de la premi` ere machine contient une pi` ece a et celui de la seconde deux
pi` eces b. On obtient le RdP repr esent e Figure 7.2 gauche. Ce syst` eme est constitu e de deux
sous syst` emes identiques (premi` ere machine avec son stock et seconde machine avec son stock)
chacun produisant un type de pi` eces diff erent. Cela sugg` ere lid ee que lon pourrait superposer
les RdPs repr esentant chacun des sous syst` emes. Par contre, dans le RdP repr esentant le premier
sous syst` eme, une marque dans une place fait r ef erence ` a tout ce qui a trait ` a la pi` ece a : premi` ere
machine occup ee ou non, etat du stock de la machine a. Dans le second RdP, une marque fait
r ef erence ` a la pi` ece b. Si on superpose les deux RdPs, il est donc n ecessaire de diff erencier deux
types de marque : une premi` ere que lon baptise <a> qui correspond au marquage du premier
RdP et une seconde baptis ee correspondant au marquage du second RdP. On parle alors
de couleur
1
. Lensemble des couleurs est not e C = < a >, . On obtient alors le RdP
color e repr esent e Figure 7.2, droite. Chaque transition est alors valid ee pour une couleur.
La transition T
1
est valid ee pour la couleur <a> mais pas pour la couleur : le
1
Le mot couleur fait evidemment r ef erence ` a des marques qui seraient de couleur diff erente. Le document etant
reprographi e en noir et blanc, on remplace le point de couleur par une lettre entre < et >.
Pa1
Pa3
Pa4
Pa2
Ta1
Ta2
Ta3
Pb1
Pb3
Pb4
Pb2
Tb1
Tb2
Tb3
P1
P3
P4
P2
T1
T2
T3
<a>
<a>
<a>
<a>




{<a>,}
{<a>,}
{<a>,}
FIG. 7.2 Machines a et b avec leurs stocks de sortie, RdP (gauche) et RdP color e (droite)
franchissement de T
1
pour la couleur <a> consiste ` a enlever une marque <a> dans la
place P
3
et ` a ajouter une marque <a> dans la place P1 ;
La transition T
2
est valid ee pour la couleur mais pas pour la couleur <a> : le
franchissement de T
2
pour la couleur consiste ` a enlever une marque dans les
places P
1
et P
4
et ` a ajouter une marque dans les places P
2
et P
3
;
La transition T
3
est valid ee pour les couleurs <a>et : le franchissement de T
3
pour
la couleur <a> (respectivement ) consiste ` a enlever une marque <a> (resp. )
dans la place P
2
et ` a ajouter une marque <a> (resp. ) dans la place P4.
On associe ` a chaque transition lensemble des couleurs pour lesquelles le franchissement est
envisag e : par exemple pour T
1
, lensemble <a>, .
Le passage du RdP (Figure 7.2 gauche) au RdP color e (Figure 7.2 droite) est appel e pliage,
le passage du RdP color e au RdP d epliage.
Le marquage dun RdP color e est maintenant d eni pour chaque couleur. Par exemple, sur
le RdP color e repr esent e Figure 7.2 droite, le marquage
pour la couleur < a > est :
_
_
0
1
1
2
_
_
;
pour la couleur est :
_
_
1
2
0
1
_
_
.
Le marquage peut etre ainsi d eni par une matrice o` u chaque colonne correspond ` a une couleur :
M
0
=
< a > 
P
1
P
2
P
3
P
4
_
_
0 1
1 2
1 0
2 1
_
_
Il peut etre aussi d eni comme une application qui ` a une couleur donn ee associe un marquage :
< a >
_
_
0
1
1
2
_
_
et 
_
_
1
2
0
1
_
_
ES
Le marquage est donc une application de C N
4
. Pour ne pas alourdir l ecriture, cette appli-
cation est d enie en utilisant des notations formelles :
_
_
0
1
1
2
_
_
< a >+
_
_
1
2
0
1
_
_
 =
_
_

< a >+ 2
< a >
2< a >+
_
_
.
Pour une place donn ee, le marquage est une application de C N.
Quand il ny a pas de couleur associ ee ` a une marque, on parle dune marque de couleur neutre.
Elle est not ee < >.
Exemple 2 : introduction de fonctions associ ees aux arcs Un syst` eme de production est
constitu e dune seule machine avec son stock en sortie de capacit e limit ee ` a 3. Cette machine
produit soit la pi` ece a soit la pi` ece b. Le RdP de ce syst` eme de production peut etre obtenu ` a
partir des RdPs mod elisant les deux sous syst` emes dans lexemple pr ec edent par
2
:
la mise en commun de la machine pour la fabrication des pi` eces a et b (fusion des places
Pa
3
et Pb
3
en la place P
3
) ;
la mise en commun du stock de sortie de la machine (fusion des places Pa
4
et Pb
4
en la
place P
4
).
Au d epart, une pi` ece a a d ej` a et e produite et stock ee. La machine est disponible. On obtient
alors le RdP repr esent e Figure 7.3, ` a gauche. Le RdP color e obtenu par pliage est repr esent e
Pa1
P3
P4
Pa2
Ta1
Ta2
Ta3
Pb1
Pb2
Tb1
Tb2
Tb3
Pliage
Depliage
P1
P3
P4
P2
T1
T2
T3
<
<a>
{<a>,}
{<a>,}
{<a>,}
<
<
>
>
>
f
f
f
f
Id
Id
Id
Id
FIG. 7.3 Machine avec son stock de sortie produisant a et b, RdP (gauche) et RdP color e
(droite)
Figure 7.3, ` a droite :
les places Pa
1
et Pb
1
se plient en la place P
1
: une marque dans la place Pa
1
correspond ` a
une marque <a> dans P
1
, une marque dans la place Pb
1
correspond ` a une marque 
dans P
1
;
les places Pa
2
et Pb
2
se plient en la place P
2
: une marque dans la place Pa
2
correspond ` a
une marque <a> dans P
2
, une marque dans la place Pb
2
correspond ` a une marque 
dans P
2
;
2
voir sous section 2.2.2.2, page 31.
les marquages des places P
3
et P
4
ne sont pas modi es ;
les transitions Ta
1
et Tb
1
se plient en la transition T
1
; de m eme, Ta
2
et Tb
2
se plient en
T
2
et Ta
3
et Tb
3
se plient en T
3
.
Comment d enir la validation dune transition ? Dans le cas de la transition T
1
, une marque
de couleur neutre dans la place P
3
signie que la machine est disponible pour commencer ` a
produire la pi` ece a (franchissement de la transition T
1
pour la couleur <a>) ou pour commencer
` a produire la pi` ece b (franchissement de la transition T
1
pour la couleur ). Cela est d ecrit
dans le RdP color e en associant une fonction f ` a larc reliant la place P
3
` a la transition T
1
.
Largument de cette fonction est la couleur pour laquelle la validation de la transition T
1
est
envisag ee. La valeur prise par cette fonction correspond au nombre de marques (quelles que
soient leurs couleurs) n ecessaire pour valider la transition pour la couleur consid er ee. Il sagit
donc dune application de C dans lensemble des applications de C N, ce qui est not e
C (C N). Dans lexemple, pour valider la transition T
1
pour la couleur <a>, P
3
doit avoir au moins une marque de couleur neutre :
f(< a >) =< >
pour la couleur , P
3
doit avoir au moins une marque de couleur neutre :
f() =< > .
Pre(P
3
, T
1
) nest plus ici un entier naturel mais une application de C dans lensemble des
applications de C N. Par simplicit e, on pr ef` ere d enir Pre(P
3
, T
1
) ` a laide de fonctions
annexes comme la fonction f : Pre(P
3
, T
1
) = f.
A partir du moment o` u la place P
3
contient au moins une marque de couleur neutre, le fran-
chissement de T
1
peut donc se faire pour la couleur <a> ou la couleur . Dans lexemple
consid er e, il consiste ` a retirer une marque de la place P
2
et ` a ajouter dans la place P
1
une marque
de la couleur pour laquelle le franchissement de T
1
a et e d ecid e. On dit que la fonction identit e
not ee Id est associ ee ` a larc reliant la transition T
1
` a la place P
1
:
Id(< a >) =< a > et Id() = .
La fonction identit e peut etre d enie comme une application de C dans C 0, 1 telle que
_
Id(< c
k
>)(< c
k
>) = 1
l ,= k, Id(< c
k
>)(< c
l
>) = 0
Dans le cas de la transition T
2
, le franchissement peut se faire par rapport ` a la couleur < a >
(resp. ) : si une marque < a > (resp. ) est disponible dans la place P
1
et une
marque < > est disponible dans P
3
, le franchissement consiste alors ` a enlever ces marques
pour mettre une marque de couleur < a > (resp. ) dans P
2
et une marque de couleur
neutre dans P
3
. La fonction Id est donc associ ee aux arcs reliant P
1
` a T
2
et T
2
` a P
2
. La fonction
f est associ ee ` a larc reliant T
2
` a P
3
. Ce raisonnement sapplique aussi au reste du RdP.
Suite de lexemple 2 : introduction de couleurs complexes Lorsque lon examine le RdP
color e repr esent e Figure 7.3, on constate quil est constitu e par la double r ep etition dun m eme
motif. On peut donc envisager une nouvelle op eration de pliage.
Les places P
1
et P
2
se plient en une place P
u
: il est alors n ecessaire de distinguer entre
les pi` eces a (resp. b) dans la machine en cours de fabrication et celles qui sont stock ees.
Pour cela, la couleur est maintenant d enie par un doublet < ., . > dont le premier terme
fait r ef erence au type de pi` ece (a ou b) et le second au lieu o` u se trouve la pi` ece (m pour
la machine ou s pour le stock). On parle alors de couleur complexe.
ES
Les places P
3
et P
4
se plient en une place P
r
. Dans cette place, il faut donc distinguer
entre une marque traduisant la disponibilit e de la machine (couleur < m >) et une marque
traduisant la disponibilit e dun emplacement dans le stock (couleur < s >).
Pu
Pr
T1
Tr
<a,s>
h
{<a,m>,<b,m>,<a,s>,<b,s>}
{<a>,}
<s>
<s>
<m>
T3
j
k
Id
i
g
FIG. 7.4 Machine avec son stock de sortie produisant a et b, RdP color e suite
Les deux transitions T
2
et T
3
se plient en la transition T
r
. Le franchissement de T
r
corres-
pond au d epart dune pi` ece a ou b de la machine ou du stock.
Comme pr ec edemment, le franchissement de T
1
peut se faire pour la couleur < a > ou
. Dans les deux cas, une marque < m > est enlev ee de la place P
r
. On associe ` a
larc reliant P
r
` a T
1
la fonction g d enie par :
Apr` es franchissement de T
1
pour la couleur < a > (resp. ), on ajoute dans la place
P
u
une marque < a, m > (resp. < b, m >). On associe ` a larc reliant T
1
` a P
u
la fonction h
d enie par :
Le franchissement de T
r
peut se faire pour les couleurs complexes < a, m >, < b, m >
(d epart dune pi` ece a, b de la machine), < a, s >, < b, s > (d epart dune pi` ece a, b du
stock). On associe ` a larc reliant P
u
` a T
r
la fonction Id. Dans le cas du d epart dune pi` ece
a ou b de la machine vers le stock, un emplacement du stock doit etre disponible. La place
P
r
est donc en entr ee de la transition T
r
avec la fonction associ ee k d enie par :
Le franchissement de T
r
pour les couleurs complexes < a, m > et < b, m > introduit dans
la place P
u
les marques < a, s > et < b, s > et dans P
r
une marque < m >. Le franchis-
sement de T
r
pour les couleurs complexes < a, s > et < b, s > introduit dans la place P
r
une marque < s >. On associe donc ` a larc reliant T
r
` a P
u
la fonction i d enie par :
et ` a larc reliant T
r
` a P
r
la fonction j d enie par :
On obtient alors le RdP color e repr esent e Figure 7.4.
Remarque A partir dun m eme RdP, on a obtenu deux RdPs color es, le second comportant
moins de places et de transitions que le premier. Pour un RdP, le RdP color e obtenu nest
donc pas unique. De plus, on peut se poser la question de la plus petite taille dun RdP color e
equivalent ` a un RdP. Il est possible de ramener un RdP ` a un RdP color e comprenant une seule
place et une seule transition, ce qui est certes tr` es compacte mais peut etre difcilement lisible
et interpr etable. Ces deux crit` eres permettent de choisir le RdP color e le plus adapt e pour un
RdP donn e.
7.2 R eseaux de Petri color es (simpli es)
7.2.1 D enition
Denition 7.2.1 Une couleur C
k
est un n-uplet C
k
= < c
k
1
, . . . , c
k
q
>.
Denition 7.2.2 Un RdP color e Q
c
est un sextuplet Q
c
=< P, T, C, C
sec
, Pre, Post > o` u
P = P
1
, . . . , P
n
est un ensemble ni non vide de places ;
T = T
1
, . . . , T
m
est un ensemble ni non vide de transitions ;
P
T = ;
C = c
1
, . . . , c
r
est un ensemble ni non vide de couleurs ;
C
sec
: P
T T(C) est la fonction sous-ensemble de couleurs qui ` a chaque place et

` a chaque transition associe un sous ensemble de C :
Pre est lapplication d enie sur PT qui ` a tout couple (P
i
, T
j
) associent une application
d enie de C
sec
(T
j
) dans lensemble des applications de C
sec
(P
i
) N.
Post est lapplication d enie sur P T qui ` a tout couple (P
i
, T
j
) associent une applica-
tion d enie de C
sec
(T
j
) dans lensemble des applications de C
sec
(P
i
) N.
Un RdP color e marqu e R
c
est un RdP color e Q
c
associ e ` a un marquage initial M
0
: R
c
=<
Q
c
, M
0
>. Pour une place P
i
P, M
0
(P
i
) est d eni comme une application de C
sec
(P
i
) N.
Exemple Reprenons le RdP color e marqu e Figure 7.4.
P = P
u
, P
r
;
T = T
1
, T
r
;
C = < a, m >, < b, m >, < a, s >, < b, s >, < s >, < m > ;
C
sec
est d enie par :
C
sec
(P
r
) = < s >, < m >
C
sec
(P
u
) = < a, m >, < b, m >, < a, s >, < b, s >
C
sec
(T
r
) = < a, m >, < b, m >, < a, s >, < b, s >
C
sec
(T
1
) = < a >, 
Pre est d enie par
ES
Pre(P
r
, T
1
) = g, soit :
Pre(P
r
, T
1
)(< a >)(< s >) = 0 Pre(P
r
, T
1
)(< a >)(< m >) = 1
Pre(P
r
, T
1
)()(< s >) = 0 Pre(P
r
, T
1
)()(< m >) = 1
Pre(P
u
, T
1
) = 0 ;
Pre(P
r
, T
r
) = k soit :
Pre(P
r
, T
r
)(< a, m >)(< s >) = 1 Pre(P
r
, T
r
)(< a, m >)(< m >) = 0
Pre(P
r
, T
r
)(< b, m >)(< s >) = 1 Pre(P
r
, T
r
)(< b, m >)(< m >) = 0
Pre(P
r
, T
r
)(< a, s >)(< s >) = 0 Pre(P
r
, T
r
)(< a, s >)(< m >) = 0
Pre(P
r
, T
r
)(< b, s >)(< s >) = 0 Pre(P
r
, T
r
)(< b, s >)(< m >) = 0
Pre(P
u
, T
r
) = Id ;
Post est d enie par :
Post(P
r
, T
1
) = 0 ;
Post(P
u
, T
1
) = h soit :
Post(P
u
, T
1
)(< a >)(< a, m >) = 1 Post(P
u
, T
1
)(< a >)(< b, m >) = 0
Post(P
u
, T
1
)(< a >)(< a, s >) = 0 Post(P
u
, T
1
)(< a >)(< b, s >) = 0
Post(P
u
, T
1
)()(< a, m >) = 0 Post(P
u
, T
1
)()(< b, m >) = 1
Post(P
u
, T
1
)()(< a, s >) = 0 Post(P
u
, T
1
)()(< b, s >) = 0
Post(P
r
, T
r
) = j soit :
Post(P
r
, T
r
)(< a, m >)(< s >) = 0 Post(P
r
, T
r
)(< a, m >)(< m >) = 1
Post(P
r
, T
r
)(< b, m >)(< s >) = 0 Post(P
r
, T
r
)(< b, m >)(< m >) = 1
Post(P
r
, T
r
)(< a, s >)(< s >) = 1 Post(P
r
, T
r
)(< a, s >)(< m >) = 0
Post(P
r
, T
r
)(< b, s >)(< s >) = 1 Post(P
r
, T
r
)(< b, s >)(< m >) = 0
Post(P
u
, T
r
) = i soit :
Post(P
u
, T
1
)(< a, m >)(< a, m >) = 0 Post(P
u
, T
1
)(< a, m >)(< a, s >) = 1
Post(P
u
, T
1
)(< a, m >)(< b, m >) = 0 Post(P
u
, T
1
)(< a, m >)(< b, s >) = 0
Post(P
u
, T
1
)(< b, m >)(< a, m >) = 0 Post(P
u
, T
1
)(< b, m >)(< a, s >) = 0
Post(P
u
, T
1
)(< b, m >)(< b, m >) = 0 Post(P
u
, T
1
)(< b, m >)(< b, s >) = 1
Post(P
u
, T
1
)(< a, s >)(< a, m >) = 0 Post(P
u
, T
1
)(< a, s >)(< a, s >) = 0
Post(P
u
, T
1
)(< a, s >)(< b, m >) = 0 Post(P
u
, T
1
)(< a, s >)(< b, s >) = 0
Post(P
u
, T
1
)(< b, s >)(< a, m >) = 0 Post(P
u
, T
1
)(< b, s >)(< a, s >) = 0
Post(P
u
, T
1
)(< b, s >)(< b, m >) = 0 Post(P
u
, T
1
)(< b, s >)(< b, s >) = 0
Le marque initial M
0
est d eni par :
M
0
(P
r
)(< m >) = 1 M
0
(P
r
)(< s >) = 2
M
0
(P
u
)(< a, m >) = 0 M
0
(P
u
)(< b, m >) = 0
M
0
(P
u
)(< a, s >) = 1 M
0
(P
u
)(< b, s >) = 0
7.2.2 Evolution du marquage dun RdP color e
Une transition T
j
est dite valid ee pour la couleur c
k
l
si
P
i

o
T
j
, c
k
C
sec
(P
i
), M(P
i
)(c
k
) Pre(P
i
, T
j
)(c
k
l
)(c
k
).
Exemple Sur le RdP color e marqu e Figure 7.4, la transition T
1
est valid ee pour les couleurs
< a > et . La transition T
r
est valid ee pour la couleur < a, s > mais nest pas valid ee
pour les couleurs < a, m >, < b, m >, < b, s >.
Si la transition est valid ee pour la couleur c
k
l
, le franchissement de T
j
pour la couleur c
k
l
consiste ` a oter Pre(P
i
, T
j
)(c
k
l
)(c
k
) marques dans les places P
i
j
et ` a
mettre Post(P
i
, T
j
)(c
k
l
)(c
k
) marques dans les places P
i
en sortie de la transition T
j
: le nouveau
marquage obtenu M
est tel que :

P
i
P, c
k
C
sec
(P
i
), M
(P
i
)(c
k
) = M(P
i
)(c
k
)+Post(P
i
, T
j
)(c
k
l
)(c
k
)Pre(P
i
, T
j
)(c
k
l
)(c
k
).
7.2.3 Analyse dun RdP color e marqu e
Lanalyse des RdPs color es est bas ee sur la propri et e suivante.
Propri et e 7.2.1 Tout RdP color e marqu e peut etre d epli e (cest-` a-dire transform e de facon
equivalente) en un RdP marqu e.
Lanalyse peut donc etre entreprise en d epliant le RdP color e en un RdP equivalent. Une
autre approche est de g en eraliser les m ethodes danalyse etudi ees pour les RdPs dans les cha-
pitres 4, 5 et 6. Linconv enient de la premi` ere approche est quelle peut d eboucher sur lanalyse
de RdP de grande taille ; linconv enient de la seconde est que la g en eralisation des m ethodes
danalyse aux RdPs color es est assez lourde. Vus les objectifs du cours, lanalyse des RdPs
color es se fera par la premi` ere approche.
7.3 Un exemple dapplication ` a la mod elisation de syst` emes
de production
Lutilisation des RdPs color es est particuli` erement adapt ee ` a la mod elisation de syst` emes de
production. Cela va etre illustr e par deux exemples.
7.3.1 Mod elisation dun convoyeur de type FIFO
Stock 1
Stock 2
FIG. 7.5 Convoyeur de type FIFO
Un convoyeur am` ene des objets dun stock 1 ` a un stock 2. Les objets, en nombre quel-
conque, sont de m types diff erents. Le convoyeur est de type FIFO, cest-` a-dire First In, First
Out (premier entr e, premier sorti). Il peut etre d ecompos e en n secteurs. Un secteur ne peut
contenir quun seul objet ` a la fois (voir Figure 7.5). Lop eration de convoyage est mod elis ee par
le passage dun secteur au secteur suivant.
L etat du syst` eme est caract eris e par les listes des :
ES
secteurs libres (place P
l
) ;
objets dans le stock 1 avec lindication de leur type (place P
1
) ;
objets dans le stock 2 avec lindication de leur type (place P
2
) ;
secteurs occup es par un objet avec lindication du type de lobjet (place P
o
).
Une couleur est associ ee ` a chaque secteur et ` a chaque type dobjet :
pour le secteur num ero i, couleur < s
i
>;
pour le j
ieme
type dobjet, couleur < o
j
>.
Par suite,
la place P
l
va contenir des marques de couleurs simples : celles correspondant aux sec-
teurs libres, soient les couleurs < s
i
>;
les places P
1
et P
2
vont contenir des marques de couleurs simples : celles correspondant
aux types dobjets qui sont stock es, soient les couleurs < o
j
>;
la place P
o
va contenir des marques de couleurs complexes car elles doivent contenir deux
informations : secteur occup e et type de lobjet occupant ce secteur, soit < s
i
, o
j
>.
la sortie dun objet de type i du stock 1 pour occuper le secteur < s
1
> (transition T
1
) ;
la sortie dun objet de type i du convoyeur via le dernier secteur (secteur n) vers le stock
2 ; le secteur n est ainsi lib er e (transition T
2
) ;
le passage dun objet de type j du secteur i vers le secteur i + 1 ; ce passage entrane la
lib eration du secteur i et loccupation du secteur i + 1 (transition T
a
).
Par suite :
1
va d ependre des types dobjets stock es dans le stock
1 ainsi que de loccupation du secteur 1 : il est donc naturel dassocier ` a la transition T
1
lensemble des couleurs complexes suivant :
A
1
= < s
1
, o
1
>, < s
1
, o
2
>, . . . < s
1
, o
m
>.
T
1
aura en entr ee les places P
1
et P
l
.
Pour quun objet de couleur < o
j
>sorte du stock 1, celui-ci doit en contenir au moins
un (au moins une marque de couleur < o
j
> dans P
1
) : pour larc reliant P
1
` a T
1
, la
fonction associ ee est donc proj
1
d enie par
proj
1
(< s
1
, o
j
>) =< o
j
> .
Pour quun objet occupe le secteur 1, celui-ci doit etre libre (une marque de couleur
< s
1
> dans P
l
) : pour larc reliant P
1
` a T
1
, la fonction associ ee est donc proj
2
d enie
par
proj
2
(< s
1
, o
j
>) =< s
1
> .
1
pour la couleur < s
1
, o
j
> correspond ` a mettre un
objet de couleur < o
j
>dans le secteur 1. Son franchissement pour la couleur < s
1
, o
j
>
ajoute une marque de m eme couleur dans la place P
o
. T
1
aura donc en sortie la place P
o
,
avec la fonction Id.
2
va d ependre de loccupation du secteur n ainsi que,
sil est occup e, du type de lobjet pr esent dans ce secteur : il est donc naturel dassocier ` a
la transition T
2
lensemble des couleurs complexes suivant :
A
2
= < s
n
, o
1
>, < s
n
, o
2
>, . . . < s
n
, o
m
>
T
2
aura en entr ee la place P
o
, avec la fonction Id et en sortie les place P
l
et P
2
:
2
pour la couleur < s
n
, o
j
> lib` ere le secteur n, ce qui revient
` a rajouter la marque de couleur < s
n
> dans la place P
l
: pour larc reliant T
2
` a P
l
, la
fonction associ ee est donc proj
2
;
2
pour la couleur < s
n
, o
j
> correspond ` a entreposer un objet
de couleur < o
j
> dans le stock 2, soit lajout dune marque de couleur < o
j
> dans
le stock 2 : pour larc reliant T
2
` a P
2
1
.
a
va d ependre de loccupation des secteur i et i + 1
ainsi que, si le secteur i est occup e, du type j de lobjet pr esent dans ce secteur : il est
donc naturel dassocier ` a la transition T
a
lensemble des couleurs complexes d enis par :
A
a
= < s
i
, o
j
>, i 1, . . . , n 1, j 1, . . . , m,
T
a
a pour places dentr ee les places P
l
et P
o
.
Pour quil y ait passage du secteur i au secteur i + 1, le secteur i + 1 doit etre libre,
cest-` a-dire, P
l
contient une marque < s
i+1
>. Pour larc reliant P
l
` a T
2
, la fonction
associ ee est donc proj
2
succ
1
avec succ
1
d enie par :
succ
1
(< s
i
, o
j
>) =< s
i+1
, o
j
> .
Pour quil y ait passage du secteur i au secteur i + 1 dun objet de type < o
j
>, le
secteur i doit en contenir un. Pour larc reliant P
o
` a T
a
, la fonction associ ee est donc
Id.
T
a
a aussi pour places de sortie les places P
l
et P
o
.
Le passage du secteur i au secteur i + 1 rend occup e le secteur i + 1, soit lajout de la
marque < s
i+1
, o
j
> dans la place P
o
. Pour larc reliant T
a
` a P
o
, la fonction associ ee
est succ
1
d enie par :
succ
1
(< s
i
, o
j
>) =< s
i+1
, o
j
> .
Le passage du secteur i au secteur i + 1 lib` ere le secteur i, soit lajout de la marque
< s
i
> dans la place P
l
. Pour larc reliant T
a
` a P
l
2
.
Le RdP color e nalement obtenu est repr esent e Figure 7.6.
7.3.2 Mod elisation dune machine sur un convoyeur FIFO
On consid` ere que le convoyeur pr esent e pr ec edemment dessert une Machine situ ee au ni-
veau des sections 5 et 6 (voir Figure 7.7). Cette Machine va effectuer une op eration seule-
ment sur les objets de couleur < o
1
> et < o
2
>. La Machine ne peut effectuer quune seule
op eration ` a la fois. Quand un objet de ce type arrive dans la section 5, cette pi` ece est charg ee
sur la Machine, si celle-ci est libre. Dans le cas contraire, lobjet reste dans le secteur 5 jusqu` a
ce que lobjet soit charg e dans la Machine. Une fois lop eration effectu ee, lobjet est remis sur
le convoyeur mais dans la section 6.
Pour obtenir le mod` ele de ce syst` eme, on va compl eter le mod` ele du convoyeur introduit
dans la section pr ec edente. Par contre, il est n ecessaire dintroduire deux places suppl ementaires
pour :
indiquer si la Machine est disponible (une marque dans la place P
d
) ;
si la Machine est occup ee, sur quel type dobjets la Machine effectue une op eration :
comme il y a deux types possibles, dans cette place P
op
, les marques seront de couleurs
< o
1
> ou < o
2
>
et deux transitions suppl ementaires pour indiquer quand
une op eration commence sur la Machine : comme on ne peut faire dop eration que sur les
pi` eces de couleurs < o
1
>et < o
2
>qui se trouve dans le secteur 5, seules deux couleurs
seront associ ees ` a cette transition T
d
:
A
d
= < s
5
, o
1
>, < s
5
, o
2
>.
ES
<s1>
<sn>
<s4>
.....
<o1>
<o1>
<o12>
T1
Ta
<s2,o2>
<s3,o12>
<s5,o7>
.....
<o9>
<o2>
<o3>
.....
T2
P1
P2
proj1
proj2
Id
Id
Id
proj2osucc1
succ1
proj2
proj2
proj1
A1
A2
Aa
Po
Pl
FIG. 7.6 RdP color e du convoyeur de type FIFO
Stock 1
Stock 2
Machine
FIG. 7.7 Convoyeur de type FIFO
Lautre condition pour franchir T
d
est que la Machine soit disponible. Un arc relie donc
P
o
` a T
d
avec pour fonction Id et un arc relie P
d
` a T
d
avec pour fonction Dec la fonction
de d ecoloration d enie par :
Dec(< s
5
, o
1
>) =< > .
Le franchissement correspond ` a charger la pi` ece sur la Machine lib erant ainsi le secteur
5. Par suite, une marque de couleur qui indique le type de la pi` ece charg ee est ajout ee ` a
la place P
op
et une marque de couleurs < s
5
> est ajout ee ` a la place P
l
. La transition T
d
a donc pour places de sortie P
op
avec pour fonction associ ee ` a larc la fonction proj
1
et
P
l
avec pour fonction associ ee ` a larc la fonction proj
2
.
la pi` ece quitte la Machine : comme cela ne peut se faire que sil y a une pi` ece de couleurs
< o
1
> ou < o
2
> sur la Machine et que si le secteur 6 est libre, on associe ` a cette
transition T
f
lensemble de couleurs :
A
f
= < s
6
, o
1
>, < s
6
, o
2
>.
La transition T
f
a donc en entr ee les places P
l
avec la fonction associ ee proj
2
et P
op
avec
la fonction associ ee proj
1
. Son franchissement m` ene ` a loccupation du secteur 6 et ` a la
disponibilit e de la Machine, soit une marque de la couleur pour laquelle la transition a et e
franchie dans la place P
o
(fonction associ ee Id) et une marque non color ee dans la place
P
d
(fonction associ ee Dec.
Le RdP color e sera obtenu ` a partir du RdP color e mod elisant le syst` eme de convoyeur en notant
que cette fois-ci, si le secteur 5 contient une pi` ece de type < o
1
> ou de type < o
2
>, elle
ne peut pas passer sur le secteur 6. La transition T
a
ne pourra donc etre franchie que pour
lensemble de couleur A
a
priv e des couleurs < s
5
, o
1
> et < s
5
, o
2
> :
A
a
= A
a
< s
5
, o
1
>, < s
5
, o
2
>.
Le RdP color e nalement obtenu est repr esent e Figure 7.8.
ES
<s1>
<sn>
<s4>
.....
<o1>
<o1>
<o12>
T1
Ta
<s2,o2>
<s3,o12>
.....
<o9>
<o2>
<o3>
.....
T2
P1
P2
proj1
proj2
Id
Id
Id
proj2osucc1
succ1
proj2
proj2
proj1
A1
Aa
A2
Pl
Po
<o1>
Id
Id
proj2
proj1
Dec
Dec
proj1
Tf
Td
Ad
Af
Pop Pd
FIG. 7.8 RdP color e de la machine avec convoyeur de type FIFO
Chapitre 8
R eseaux de Petri non autonomes
L evolution du RdP va maintenant d ependre de loccurrence d ev enements externes ou du
temps. Par simplicit e, on se concentrera sur lextension des RdPs ordinaires, m eme si cela peut
sappliquer aux RdPs g en eralis es.
8.1 R eseaux de Petri synchronis es (RdPS)
Dans les mod elisations RdPs que nous avons vues dans les chapitres pr ec edents, le fait
quune transition soit franchissable indique que toutes les conditions sont r eunies pour quelle
soit effectivement franchie. Le moment o` u se produira le franchissement nest pas connu. Un
RdP synchronis e est un RdP o` u ` a chaque transition est associ ee un ev enement. La transition
sera alors franchie si elle est valid ee mais quand l ev enement associ e se produit.
8.1.1

Ev enements associ es ` a une variable logique
Un ev enement est un front montant ou un front descendant dune variable logique. Un
ev enement na pas de dur ee : il est caract eris e par linstant o` u il se produit (voir gure 8.1).
a
0 5 10 15 20
a
a
FIG. 8.1 Chronogramme de la variable logique a
Notation : a (front montant) a (front descendant)
a.b = ( a).b est un ev enement qui se produit en m eme temps que a si b = 1 ; ici le .
d esigne et ;
a +b = ( a) +b : ici le + d esigne ou ;
a. b est un ev enement qui se produit quand a et b se produisent simultan ement.
Cela nest possible que si a et b ne sont pas ind ependants, du fait de lhypoth` ese suivante.
83
84 CHAPITRE 8 RDP NON AUTONOMES
Hypoth` ese Deux ev enements ind ependants ne se produisent jamais simultan ement : a.
b = 0 si a et b sont ind ependants.
Propri et es Avec e l ev enement toujours occurrent :
a = a a.e = a a. a = a a. a = 0
a.a = a a a = 0 a.a = a a.a = 0
o` u a d esigne non a. Avec a, b et c ind ependants :
(a.b) = a.b+ b.a (a +b) = a.b+ b.a (a.b) (a.c) = a.b.c
Pour un syst` eme donn e, un ev enement est dit externe sil correspond ` a un changement du
monde ext erieur au syst` eme.
8.1.2 D enition dun R eseau de Petri Synchronis e
Exemple : atelier de coupe Sur le mod` ele RdP de latelier de coupe, il est naturel dassocier
le franchissement de la transition T
1
` a larriv ee dune nouvelle commande (voir Figure 8.2).
Celle-ci correspond ` a un ev enement ext erieur not e E
1
P1 P2
P3
P4
T1
T2
T3
E1
Denition 8.1.1 On appelle R eseau de Petri Synchronis e le triplet < R, E, Sync > o` u
R est un R eseau de Petri marqu e ;
E est un ensemble d ev enements externes ;
Sync : T E
e o` u
T est lensemble des transitions de R;
e est l ev enement toujours occurrent
1
.
Le RdP est totalement Synchronis e si aucune transition nest associ ee ` a e.
Dans un RdP synchronis e, une transition valid ee nest pas forcement franchissable. La tran-
sition est valid ee quand la condition sur les marquages est satisfaite. Elle deviendra franchis-
sable quand l ev enement externe associ e ` a la transition se produit : elle est alors imm ediatement
franchie. Si en fonction du marquage de ses places dentr ee, plusieurs franchissements sont pos-
sibles, un seul se produira effectivement, celui dont l ev enement associ e se produit en premier.
E1
M(P1)
M(P2)
E1
T1
P1
P2
0 5 10 15 20
E1
T1
P1
P2
FIG. 8.3 Franchissement dune transition synchronis ee
Exemples de franchissements de transition Sur le RdP synchronis e repr esent e gure 8.3,
au temps t = 0, la transition T
1
est valid ee. Le franchissement de la transition T
1
seffectue au
temps t = 10 quand l ev enement E
1
se produit.
Sur le RdP synchronis e repr esent e gure 8.4, au temps t = 0, la transition T
1
est valid ee.
Son marquage est sufsant pour pouvoir franchir T
1
deux fois. Le franchissement de la tran-
sition T
1
seffectue au temps t = 10 quand l ev enement E
1
se produit. On impose quun seul
franchissement de cette transition ` a la fois.
1
est valid ee. Le
1
1
se produit.
L ev enement E
1
est aussi
2
associ e ` a la transition T
2
. Comme la transition T
2
n etait pas valid ee
au moment o` u l ev enement E
1
se produit, T
2
nest pas franchie.
1
est valid ee. Le
1
1
se produit.
La transition T
2
est franchie au moment de la seconde occurrence de l ev enement E
1
soit au
temps t = 15. Le marquage du RdP synchronis e evolue donc dans le temps de la facon suivante :
Pour t allant de 0 ` a 5, M
1
=
_
_
1
0
0
_
_
;
1
L ev enement qui se produit en permanence.
2
Il est possible dassoci e un m eme ev enement ` a plusieurs transitions.
E1
M(P1)
M(P2)
P1
P2
T1
E1
0
0
1
2
0 5 10 15 20
P1
P2
T1
E1
1
2
=
_
_
0
1
0
_
_
;
3
=
_
_
0
0
1
_
_
;
Le RdP synchronis e repr esent e gure 8.7 est similaire ` a celui gure 8.6 sauf que l ev enement
associ e ` a la transition T
2
est e l ev enement toujours occurrent. Apr` es le franchissement de la
transition T
1
, la transition T
2
est valid ee. Comme l ev enement toujours occurrent y est associ e,
la transition T
2
est alors imm ediatement franchie. Le marquage M
2
a donc une dur ee nulle.
On parle de marquage instable (` a opposer ` a marquage stable). On peut d enir un graphe des
marquages stables : dans celui-ci, on passe directement du marquage M
1
au marquage M
3
par
franchissement de la s equence T
1
T
2
: on parle dun franchissement it er e sur occurrence de
l ev enement E
1
.
Il est possible de construire un mod` ele RdP synchronis e dans lequel un marquage stable peut
ne pas etre accessible par le franchissement dun nombre ni de transitions, voir Figure 8.8. Ici,
apr` es occurrence de l ev enement E
1
, il nest pas possible dobtenir un marquage stable. Dans
la suite du chapitre, nous supposerons que pour les RdPs synchronis es consid er es, un marquage
stable est forcement atteint apr` es franchissement dun nombre ni de transitions.
8.1.3 Propri et es des RdPs synchronis es
Les notions de bornitude et de vivacit e peuvent se g en eraliser aux RdPs synchronis es. Un
RdP synchronis e est born e si, pour tout marquage stable et instable, il est born e. Une transition
T
j
est vivante si pour tout marquage accessible, il existe une s equence d ev enements externes
telle que T
j
soit franchie. Si on consid` ere le RdP autonome associ e au RdP synchronis e, peut-on
E1
M(P1)
M(P2)
P1
P2
P3
T1
T2
E1
E1
M(P3)
0 5 10 15 20
P1
P2
P3
T1
T2
E1
E1
E1
M(P1)
M(P2)
P1
P2
P3
T1
T2
E1
E1
M(P3)
0 5 10 15 20
P1
P2
P3
T1
T2
E1
E1
P1
P2
P3
T1
T2
E1
E1
E1
M(P1)
M(P2)
P1
P2
P3
T1
T2
E1
e
M(P3)
0 5 10 15 20
P1
P2
P3
T1
T2
E1
e
P1
P2
T1
T2
E1
e
FIG. 8.8 RdP synchronis e avec marquages instables
d eduire les propri et es de lun ` a partir de lautre ?
Propri et e 8.1.1
1. Un RdP synchronis e est born e pour un marquage initial M
0
si le RdP autonome associ e
est born e pour le marquage initial M
0
.
2. La r eciproque nest pas forcement vraie.
D emonstration Le 1. d ecoule du fait que lensemble des marquages accessibles du RdP syn-
chronis e est inclus dans lensemble des marquages accessibles du RdP autonome associ e. Le 2.
P1
T1
T2
[0] [w]
T1
T1
T2
FIG. 8.9 RdP mod elisant un stock avec son graphe de couvertue
d ecoule de lexemple pr esent e Figure 8.9 et Figure 8.10. Le nombre de marques dans la place
P
1
repr esente le nombre dobjets entrepos es dans un stock. Le franchissement de la transition
T
1
correspond ` a introduire un nouvel objet dans le stock. Le franchissement de la transition T
2
correspond ` a retirer un objet du stock. Dapr` es le graphe de marquage Figure 8.9, ce RdP au-
tonome nest pas born e. Dautre part, il est associ e au RdP synchronis e repr esent e Figure 8.10.
Celui-ci est clairement born e puisque lintroduction dun nouvel objet se produit sur occurrence
de l ev enement E
1
. Si la place P
1
a un nombre de marques non nul, la transition T
2
est valid ee :
l ev enement E
1
etant associ ee ` a T
2
, sur son occurrence, une marque est alors ot ee de la place
P
1
. Le marquage de celle-ci est forcement born e. On a utilis e le fait que dans un RdP synchro-
nis e, deux transitions valid ees associ ees ` a un m eme ev enement sont simultan ement franchis sur
occurrence de cet ev enement.
P1
T1
T2
E1
E1
FIG. 8.10 RdP synchronis e mod elisant un stock
Propri et e 8.1.2 Pour quun RdP synchronis e soit vivant pour un marquage initial M
0
, il est ni
n ecessaire, ni sufsant que le RdP autonome associ e soit vivant pour le marquage initial M
0
.
P1
T1 T2
E1
E1
E2
P2
P3
P4
P5
E3
E3
T3
T4
T5
FIG. 8.11 Vivacit e dun RdP (synchronis e)
D emonstration Si on construit le graphe des marquages du RdP autonome associ e au RdP
synchronis e repr esent e Figure 8.11, on constate que pour le marquage initial :
M
0
=
_
_
2
0
0
0
0
_
_
on peut aboutir aux blocages :
M
b
1
=
_
_
0
2
0
0
0
_
_
et M
b
2
=
_
_
0
0
2
0
0
_
_
.
Le RdP autonome nest donc pas vivant. Pour le RdP synchronis e, partant du m eme marquage
initial, par franchissement de T
1
T
2
sur occurrence de E
1
, on obtient :
M
1
=
_
_
0
1
1
0
0
_
_
puis par franchissement de la transition T
3
sur occurrence de E
2
:
M
1
=
_
_
0
0
0
1
1
_
_
et par franchissement de T
4
T
5
sur occurrence de E
3
, on revient au marquage initial. Le RdP syn-
chronis e est vivant car pour une transition donn e, il existe toujours une s equencement d ev enements
externes qui m` ene au franchissement de cette transition.
Par contre, le RdP synchronis e repr esent e Figure 8.12 nest pas vivant pour le marquage
initial repr esent e sur cette gure alors que le RdP autonome associ e lest.
P1
T1
T2
E1
E1
E2
P2
P3
E3
T3
T4
T5
E2
FIG. 8.12 Vivacit e dun RdP (synchronis e)
8.2 R eseaux de Petri temporis es
Le comportement de ces mod` eles d epend du temps. Ils permettent d evaluer les perfor-
mances temporelles dun syst` eme. Par exemple, il peut sagir d evaluer le temps dex ecution
dune s erie dop erations (par exemple dans un proc ed e de fabrication industriel) en fonction de
la capacit e des machines et/ou des stocks, etc..
Exemple : atelier de coupe Sur le mod` ele RdP de latelier de coupe, la pr esence dun je-
ton dans la place P
3
correspond au traitement dune commande par la machine de coupe. La
d ecoupe elle-m eme durera un certain temps d
3
. Quand une marque est introduite dans la place
P
3
(d ebut de d ecoupe), pour mod eliser ce ph enom` ene, il est n ecessaire de bloquer la marque
dans la place P
3
pendant au moins un temps d
3
(voir Figure 8.13). Pendant ce laps de temps,
la marque nest pas disponible pour la validation de la transition T
3
. On parle alors de marque
indisponible. La place est dot ee dune temporisation de dur ee d
3
, cest-` a-dire, le laps de temps
quil est n ecessaire pour que la marque devienne disponible pour la validation de sa transition
de sortie.
Denition 8.2.1 On appelle R eseau de Petri P-temporis e le doublet < R, Tempo > o` u
R est un R eseau de Petri marqu e ;
Tempo : P Q
+
o` u
Q
+
est lensemble des nombres rationnels positifs ou nuls ;
Tempo(P
i
) est la temporisation associ ee ` a la place P
i
.
P1
P2
P3
P4
T1
T2
T3
E1
d3
P1
P2
P3
P4
T1
T2
T3
E1
d3
P1
P2
P3
P4
T1
T2
T3
E1
d3
M(P1)
M(P2)
Marque indisponible (P3)
Marque disponible (P3)
M(P4)
d3
0 5 10 15 20 25 30
P1
P2
P3
P4
T1
T2
T3
E1
d3
marque disponible
marque indisponible
Dans un RdP P-temporis e, quand une marque est d epos ee dans la place P
i
, elle reste indispo-
nible pendant un temps de Tempo(P
i
). Une fois ce temps ecoul e, elle devient disponible. Pour
d eterminer si une transition est valid ee, ne sont pris en compte que les marques disponibles. Le
marquage initial est suppos e disponible au temps 0. Le franchissement dune transition valid ee
est suppos e de dur ee nulle.
Dans lexemple repr esent e Figure 8.13, quand la marque de la place P
1
est devenue dis-
ponible, la transition T
3
a et e valid ee. On a n eanmoins attendu 8 unit es de temps avant de la
franchir. Dans la cas o` u d` es quune transition est valid ee, elle est imm ediatement franchie, on
parle de fonctionnement ` a vitesse maximale. Pour lexemple pr ec edent, si on associe la tempo-
risation d
1
` a la place P
1
, cela donnerait l evolution
3
repr esent ee Figure 8.14.
Propri et e 8.2.1 Pour un RdP P-temporis e, le fonctionnement ` a vitesse maximale conduit ` a un
fonctionnement p eriodique au bout dun temps ni pour tout marquage initial tel que le RdP
P-temporis e soit born e.
Il est int eressant de caract eriser ce fonctionnement p eriodique.
Denition 8.2.2 La fr equence de franchissement F
j
> 0 dune transition T
j
est d enie comme
le nombre moyen de franchissements de T
j
par unit e de temps lorsque le fonctionnement p eriodique
est etabli.
Soit W (W
+
) la matrice dincidence (arri` ere) associ ee(s) au RdP. Soient f
i
les q P-semi ots
el ementaires associ es ` a W. Soit D la matrice diagonale telle que D
ii
= d
i
o` u d
i
est la tempori-
sation associ ee ` a la place P
i
. Alors le vecteur F =
_
F
j
de fr equences de franchissement est

3
Pour les places pour lesquelles une temporisation nest pas indiqu ee, elle vaut implicitement 0.
P1
P2
P3
P4
T1
T2
T3
E1
d3
P1
P2
P3
P4
T1
T2
T3
E1
d3
Marque disponible M(P1)
M(P2)
Marque indisponible (P3)
Marque disponible (P3)
M(P4)
d3
0 5 10 15 20
P1
P2
P3
P4
T1
T2
T3
E1
d3
marque disponible
marque indisponible
d3
Marque indisponible M(P1)
d1
P1
P2
P3
P4
T1
T2
T3
E1
d3
solution de
WF = 0 et i 1, . . . , q, f
T
i
M
0
f
T
i
DW
+
F
D emonstration Soit
M
t
le marquage du RdP P temporis e ` a linstant t ;
W (W
+
) sa matrice dincidence (arri` ere) ;
un temps t
2
sufsamment plus grand quun temps t
1
, t
1
etant lui m eme plus grand pour
etre dans un fonctionnement p eriodique ;
s le vecteur caract eristique de la s equence de franchissement permettant de passer du
marquage M
t
1
au marquage M
t
2
.
Dapr` es l equation fondamentale, on a :
M
t
2
= M
t
1
+Ws.
Or, F =
1
t
2
t
1
s. Par suite :
M
t
2
= M
t
1
+ (t
2
t
1
)WF.
Apr` es un r egime transitoire, le fonctionnement devient p eriodique : il existe donc t
2
> t
1
tels
que M
t
2
= M
t
1
. Donc
WF = 0.
Pour la place P
i
, on peut d enir le nombre moyen de marques lors dun fonctionnement
en r egime p eriodique. Soient M
t
k
1
, , M
t
k
p
les marquages successivement atteints lors dune
p eriode avec pour dur ee
1
, ,
p
. Alors la valeur moyenne peut etre d enie par
M =
p
i=1
i
M
t
k
i
p
i=1
i
De plus, le fait que chaque marque reste au moins d
i
unit es de temps dans la place P(i) se
traduit par :
M(P
i
) d
i
W
+
i
F
o` u W
+
i
est la ligne i de la matrice W
+
. En effet :
W
+
i
F est le nombre de marques mis dans la place P
i
par unit e de temps ;
d
i
etant le temps minimum o` u une marque reste dans la place P
i
, le nombre moyen de
marques dans P
i
sera donc au minimum de d
i
W
+
i
F ;
Chaque marque peut rester dans la place P
i
une dur ee sup erieure ou egale ` a d
i
: le nombre
moyen de marques dans P
i
, M(P
i
), sera donc sup erieur ou egal ` a d
i
W
+
i
F.
Lensemble de ces in egalit es peut s ecrire :
M DW
+
F (8.1)
Si f est un P semi-ot, on a f
T
M = f
T
M
0
. En effet :
f
T
M =
p
i=1
i
f
T
M
t
k
i
p
i=1
i
Or, il existe une s equence de franchissement de vecteur caract eristique s
k
i
telle que :
M
t
k
i
= M
0
+Ws
k
i
Donc f
T
M
t
k
i
= f
T
M
0
et f
T
M = f
T
M
0
. A partir de lin equation (8.1), on obtient donc :
f
T
M f
T
DW
+
F
et comme f
T
M = f
T
M
0
,
f
T
M
0
f
T
DW
+
F.
Exemple On consid` ere le fonctionnement dune entreprise de location de voitures. Cette en-
treprise a deux types de clients :
chacun des N
1
clients de type 1 utilise une voiture pendant une dur ee d
1
; le temps moyen
entre deux demandes est de d
d
1
;
chacun des N
2
clients de type 2 utilisent une voiture pendant une dur ee d
2
; le temps
moyen entre deux demandes est de d
d
2
.
N
0
repr esente le nombre de voitures de lentreprise. Apr` es chaque retour de location, la voiture
passe au garage pour entretien pour une dur ee d
e
. On d esire d eterminer la dur ee d
0
minimale
dattente dune voiture apr` es entretien et avant location.
P1
T1
T2
P2
P3
P4 P5
T3
T4
P0
N1 N2 N0
d1
d0
d2
dd1
dd2
de
T5
FIG. 8.15 Entreprise de location de voitures
Le fonctionnement de cette entreprise est repr esent e par le RdP P-temporis e Figure 8.15.
Les matrices dincidence (arri` ere) sont donn ees par :
W =
T
1
T
2
T
3
T
4
T
5
P
0
P
1
P
2
P
3
P
4
P
5
_
_
1 1 0 0 1
1 0 1 0 0
0 1 0 1 0
1 0 1 0 0
0 1 0 1 0
0 0 1 1 1
_
_
et W
+
=
T
1
T
2
T
3
T
4
T
5
P
0
P
1
P
2
P
3
P
4
P
5
_
_
0 0 0 0 1
0 0 1 0 0
0 0 0 1 0
1 0 0 0 0
0 1 0 0 0
0 0 1 1 0
_
_
Par suite,
WF = 0
_
_
_
F
1
= F
3
F
2
= F
4
F
5
= F
3
+F
4
Les P-semi ots sont d etermin es ` a partir de l equation :
f
T
W = 0
_
_
_
q
3
= q
0
+q
1
q
4
= q
0
+q
2
q
5
= q
0
Par suite, tout P-semi ot s ecrit : Par suite,
i, f
T
i
M
0
f
i
DW
+
F
_
_
_
(d
0
+d
1
+d
e
)F
3
+ (d
0
+d
2
+d
e
)F
4
N
0
(d
1
+d
d
1
)F
3
N
1
(d
2
+d
d
2
)F
4
N
2
Le fonctionnement le plus rapide est obtenu avec F
3
=
N
1
(d
1
+d
d
1
)
et F
4
=
N
2
(d
2
+d
d
2
)
. Do` u :
(d
0
+d
1
+d
e
)
N
1
(d
1
+d
d
1
)
+ (d
0
+d
2
+d
e
)
N
2
(d
2
+d
d
2
)
= N
0
d
0
=
1
N
1
(d
1
+d
d
1
)
+
N
2
(d
2
+d
d
2
)
_
N
0

d
e
+d
1
d
1
+d
d
1
N
1

d
e
+d
2
d
2
+d
d
2
N
2
_
.
Remarque Dans lexemple pr ec edent, on est dans un mode de fonctionnement o` u
i, f
T
i
M
0
= f
i
DW
+
F.
Ce mode de fonctionnement est appel e fonctionnement en vitesse propre. Dans celui-ci, une
marque reste dans une place quun temps egal ` a la temporisation associ ee ` a cette place. Il nest
pas possible pour tout RdP P-temporis e. Cest un cas particulier du fonctionnement ` a vitesse
maximale.
Remarque De mani` ere similaire aux RdPs P-temporis es, il est possible de d enir des RdPs
T-temporis es : les temporisations sont associ ees aux transitions au lieu d etre associ ees aux
places. On peut toujours construire pour un RdP T-temporis e un RdP P-temporis e equivalent.
Bibliographie
[1] G.W. Brams. R eseaux de Petri : Th eorie et pratique. Masson, 1983.
[2] R. David and H. Alla. Du Grafcet aux r eseaux de Petri. Hermes, 1992.
[3] K. Jensen. Coloured Petri Nets, volume 1. Springer-Verlag, 1992.
[4] G. Vidal-Naquet and A. Choquet-Geniet. R eseaux de Petri et Syst` emes Parall` eles. Armand
Colin, 1992.
99

Cours Petri Etudiant GS 2006 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Cours Petri Etudiant GS 2006 PDF

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIT

Un sc enario est constitu e par un instant initial t

L etat du syst` eme va evoluer quand se produit :

L etat du syst` eme va evoluer quand se produit :

L etat du syst` eme va evoluer quand se produit :

L etat du syst` eme va evoluer quand :

Denition 3.2.7 Un RdP marqu e a un etat daccueil M

P et un vecteur dentiers naturels appel e

est appel e composante conservative. Un RdP est conservatif si et seulement si P

des transitions de T apparaissant dans la

(nombre de marques dans la place P

Exemple Voir exemple Figure 6.10.

T T(C) est la fonction sous-ensemble de couleurs qui ` a chaque place et

est tel que :

de fr equences de franchissement est

Vous aimerez peut-être aussi