Optimisation Intélligente Notes de Cours par A. J.

TELMOUDI

Chapitre 1
Les Réseaux de Petri
Théorie, propriétés et applications
1. Introduction générale
Comment réussir à appréhender le comportement des systèmes technologiques de plus en plus complexes,
afin de les concevoir, de les réaliser et/ou de les commander à partir d’un cahier des charges ?. Celui-ci est
en général défini par différents intervenants, intéressés par les aspects fonctionnels du produit, les besoins du
consommateur, les contraintes de coût, le marketing, etc... Du fait de la complexité de plus en plus forte des
systèmes technologiques, il apparaît de plus en plus nécessaire de disposer de méthodes et d’outils de
conception, de réalisation et/ou de commande qui soient particulièrement efficaces. Au centre de ces
méthodes et de ces outils, se trouve en général la modélisation des processus.
La mise en place des feux de signalisation d’un carrefour ou la planification du processus de développement
d’une pièce dans une usine demande la modélisation du problème afin de pouvoir le simuler, l’analyser et le
vérifier. Ces vérifications peuvent mettre en évidence des disfonctionnements non visibles. Il existe plusieurs
langages de modélisation et les outils qui les implémentent. Ces outils, selon les modèles qu’ils représentent,
permettent de simuler et de vérifier certaines propriétés. Ceci permet de suivre le fonctionnement du système
pour détecter les faiblesses. Pour cela ils peuvent vérifier entre autres :

L’activité : Vérifie si le fonctionnement d’une partie ou de tout le système évolue.

La répétitivité : Vérifie s’il y a des séquences qui se répètent dans le fonctionnement du système.

La bornitude : Caractérise la possibilité qu’une partie ou tout le système n’évolue plus, une fois
qu’un état spécifique est atteint.

La vivacité : Vérifie qu’un état du système puisse être atteignable, quel que soit l’état dans lequel il
se trouve.

La concurrence : Vérifie si le passage à un état entraîne la collaboration de deux ou plusieurs parties
du système.
L’objectif de ce cours est de présenter la modélisation par Réseaux de Petri. Ces Réseaux ont été développés
pour permettre la modélisation de classes importantes de systèmes qui recouvrent des classes de systèmes de
production, de systèmes automatisés, de systèmes informatiques et de systèmes de communication, pour n’en
citer que quelques-uns, afin de permettre leur conception, leur évaluation et leur amélioration.
Les Réseaux de Petri ont été inventés par Carl Maria Petri au début des années soixante. Des travaux
ultérieurs ont permis de développer les Réseaux de Petri comme un outil de modélisation des systèmes à
événement discrets. Le modèle Réseaux de Petri est à l’origine du Grafcet, qui est un langage graphique de
spécification et de programmation d’automates industriels.

2- Les réseaux de Petri

2.1. Concepts de base
2.1.1Notion de graphe orienté
Un graphe orienté comporte :
• un ensemble fini de places, P={P1, P2, P3, ..., Pm}, symbolisées par des cercles et représentant des
conditions qui traduit l’état d’une ressource du système (machine libre, stock vide, convoyeur à
l’arrêt, …).
• un ensemble fini de transitions, T={T1, T2, T3, ..., Tn}, symbolisées par des tirets et représentant
l'ensemble des événements (les actions se déroulant dans le système) dont l'occurrence provoque la
modification de l'état du système :
• un ensemble fini d'arcs orientés qui assurent la liaison d'une place vers une transition ou d'une
transition vers une place.

P1 T P2 1
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Un graphe orienté est dit biparti, c'est-à-dire qu'un arc relie alternativement une place à une transition et une
transition à une place. Ainsi les situations suivantes sont interdites.

2.1.2. Le vocabulaire
[Link] Condition
Une condition est la description de l’état d’une ressource du système modélisé:
• une machine est au repos,
• une machine est en réparation
• une commande est en attente
Une condition est soit vraie, soit fausse. Un état du système peut être décrit comme un ensemble de
conditions.
Dans le formalisme des Réseaux de Petri, la condition est modélisée à l’aide d’une place.

[Link] Evénement
Un événement est une action qui se déroule au sein du système et dont la réalisation dépend de l’état du
système :
• début de traitement sur une machine,
• panne sur une machine
• début de traitement d’une commande
Dans le formalisme des Réseaux de Petri, l’événement est modélisé à l’aide d’une transition.
Exemple
Atelier de coupe de bois
• Conditions
- La machine de coupe est au repos
- Une commande est en attente
- La commande est en cours de traitement
- La commande est terminée.
• Evénements
- Une commande arrive
- La machine débute le traitement de la commande
- La machine termine le traitement de la commande
- La commande est envoyée pour la livraison.

2.1.3 Définition d’un réseau de Pétri

Un réseau de Petri est un graphe orienté biparti défini par un quadruplet R = (P, T, Entrée, Sortie), où :

P est un ensemble fini de places= P = { p1 , p2 , p3 ,.., pn }

T est un ensemble fini de transitions T = {t1 , t2 , t3 ,.., tn }

Entrée (ou Pré) est une application, Entrée: P x T → N, appelée application d’incidence avant.
Notée Pré(p,t) ou Entrée(p,t) ou encore I(p,t), contient la valeur entière « n » associée à l’arc allant
de « p » à « t ».

2
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Sortie (ou Post) est une application, Sortie: P x T → N, appelée application d’incidence arrière.
Notée Post(p,t) ou Sortie(p,t) ou encore O(p,t) contient la valeur entière « n » associée à l’arc allant
de « t » à « p ».

« p » est une place d’entrée de la transition « t » si Pré(p, t) > 0

k1
k1=entrée(p,t)>0

p t k1,k2,i1,i2
représentent le

« p » est une place de sortie de la transition « t » si Post(p, t) > 0 poids des arcs

k2
k2=Sortie(p,t)>0

t p

t est une transition d’entrée de p si Sortie(p,t) > 0:

i1
i1=Sortie(p,t)>0

t p

t est une transition de sortie de p si Entrée(p,t) > 0:

i2
i2=Entrée(p,t)>0

p t

Par convention, lorsque le poids n’est pas précisé sur un arc, alors ce poids vaut 1. Si aucun arc ne relie une
transition t à une place p, alors Sortie(p,t) = 0. De même, si aucun arc ne relie une place p à une transition t,
alors Entrée(p,t) = 0.

Transition source
Une transition source est une transition qui ne comporte aucune place d’entrée

t p
Transition puits
Une transition puits est une transition qui ne comporte aucune place de sortie

p t

Exemple de RdP
Modélisation d’un atelier de coupe de bois : Un atelier est constitué d’une machine de coupe et d’un
stock. Quand une commande arrive et que la machine de coupe est disponible, la commande peut
être traitée (Opération de découpe). Une fois le traitement terminé, la commande qui a été traitée est
stockée. Sinon, la commande doit attendre que la machine se libère avant de pouvoir être traitée.

3
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Commentaires

Chaque place contient un nombre entier (positif ou nul) de jetons. Elle indique la valeur de la
variable d’état associée à la place. Par exemple, la place P2 contient 2 jetons qui signifient 2
commandes en attente.

La présence des jetons dans les places indiquent l’état des ressources du système : Par exemple, dans
la place P1, un jeton indique que la machine est libre, alors que l’absence d’un jeton indique que la
machine n’est pas disponible. Un jeton dans la place P3 indique qu’une commande est en train d’être
traitée par la machine de coupe. Le nombre de jetons dans la place P4 indique le nombre de
commandes qui ont été traitées et stockées. La fin de la coupe par la machine se traduit par la
suppression du jeton dans la place P3 et par la création d’un jeton dans la place P1 et dans la place
P4. (voir règle d’évolution puls loin)

Les jetons d’une même place n’ont pas d’identité individuelle : elles sont indiscernables. Par
exemple, chaque commande en attente dans la place P2 est traitée de la même fac¸on que les autres.

2.1.4. Marquage d'un Réseau de Petri

Le marquage d’un RdP est précisé par la présence à l'intérieur des places d'un nombre fini (positif ou nul),
de marques ou de jetons. Une place est donc vide ou marquée.
Lorsque la place représente une condition logique (ex. : machine à l’arrêt, convoyeur en panne), la présence
d’un jeton indique que cette condition est vraie; fausse dans le cas contraire.
Une place donc peut représenter une ressource du système (un stock par exemple), elle peut contenir
plusieurs jetons (dans l’exemple du stock, le nombre de jetons peut indiquer le nombre de pièces stockés).

Une place contient un nombre ≥ 0 de jetons.

Au cours de l’évolution du système, le marquage est susceptible d’être modifié (voir les règles d’évolution
d’un RdP). Le marquage initial, M0, d’un RdP correspond à la distribution initiale des jetons dans chacune
des places du RdP, qui précise l'état initial du système. Dans ce cas, on parle du Rdp Marqué par opposition
à un Rdp non marqué, c’est-à-dire pour lequel le marquage initial n’est pas précisé.
On note M(p) le nombre de jetons contenu dans la place p pour le marquage M. Dans l’exemple ci-dessous,
si l’état initial correspond à la répartition des jetons suivante, alors le marquage initial: M0 = [M0(p1), M0(p2)]
= [3, 0].
p1 t1 p2 t2

4
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

3 
Un marquage peut être représenté sous forme d’un vecteur colonne: M 0 = [M 0 (p1 ), M 0 (p 2 )] =   . T

 0
Remarques :
Un jeton peut avoir plusieurs significations en fonction de la place dans lequel il se trouve.
Par exemple dans le RdP ci-dessous on considère que :

P1 représente un stock : le nombre de jetons en p1 indique le nombre de pièces stockées

P2 représente une machine en cours de traitement : un jeton en p2 indique que la machine traite une
pièce

P3 représente une machine libre : un jeton en p3 indique que la machine est libre.
p1 t1 p2 t2

p3

Les jetons d’une place n’ont pas d’identité individuelle, autrement dit ils sont indiscernables.
Ces jetons sont consommées et produites par les événements du système.
La présentation faite des Réseaux de Petri est une représentation graphique, alors qu’il est possible d’en
faire une représentation mathématique grâce à l’algèbre linéaire. Cette notation permet de représenter un RdP
de manière plus formelle mais moins lisible que la représentation graphique. Ainsi, Pre et Post sont
représentés par des matrices à q lignes (nombre de places), n colonnes (nombre de transitions).

Exercice : 3 t3
t1
Pour le RdP suivant : p1 p2 p3

Indiquer le marquage initial

Etablir la matrice d’entrée E

Etablir la matrice de sortie S 2
t2 t4

Solution :

Le marquage initial est Mo =[0 3 0]

Les matrice E et S sont:
p1 p2 p3 p1 p2 p3
0 1 0 t1 1 0 0 t1
E= 1 0 0 t2 S= 0 1 0 t2
0 3 0 t3 0 0 1 t3
0 0 1 t4 0 2 0 t4

2.1.5. Dynamique des Réseaux de Petri (Evolution du marquage)

[Link] Validation d’une transition
L'évolution l'état du réseau de Petri correspond à une évolution du marquage. Les jetons, qui matérialisent
l'état du réseau à un instant donné, peuvent passer d'une place à l'autre par franchissement ou tir d'une
transition.

5
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Une transition est validée (on dit aussi sensibilisée ou franchissable ou encore tirable) si toutes ses places
d’entrée contiennent au moins un jeton.
p1 p1

t1 t1

p2 p3 p2 p3

La transition t1 n’est pas validée La transition t1 est validée car

car M(p2)=0 M(p1) >0 et M(p2) >0

[Link] Franchissement d’une transition

Le franchissement d'une transition ou le tir d'une transition, consiste à enlever un jeton dans chacune des
places d'entrée de la transition et à ajouter un jeton dans chacune des places de sortie de la même transition.
p1 p1

t1 t1
Tir de la
transition t1
p2 p3  p2 p3

M1=[3 M2=[2 0 2]
“Le franchissement de1la1]transition t1 à partir du marquage M1 conduit au marquage M2”, se note: M1 (t1
M2).
Exemple p1 p1

t1 t1
Tir de la
transition t1
p2  p2

M1=[2 1 1 1] M1=[1 0 2 2]

Franchissement d’une transition source

Une transition source est une transition qui ne comporte aucune place d’entrée ; c’est une transition toujours
franchissable et le franchissement a lieu lorsque l’événement associé se produit.
Franchissement d’une transition puits
Une transition puits est une transition qui ne comporte aucune place de sortie; le franchissement d’une
transition puits enlève des jetons de toutes les places d’entrée de la transition.

Exemple : t1 transition source et t3 transition puits

t1 p1 t1 p1

t2 t3 t2 t3
Tir de la
transition t1
p2 p3  p2 p3

M1=[1 1 1] M2=[2 1 1]

6
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

t1 p1 t1 p1

t2 t3 t2 t3
Tir de la
transition t3
p2 p3  p2 p3

M1=[1 1 1] M2=[1 1 0]

Tir d’une transition avec plusieurs ressources

De manière formelle, une transition est dite sensibilisée si les places situées en amont (places d'entrée)
possèdent chacune un nombre de jetons supérieur ou égal au poids des arcs joignant ces places à la transition.
Franchir ou tirer une transition consiste à enlever de chaque place d'entrée un nombre de jetons égal au poids
de l'arc joignant cette place à la transition et à déposer, dans chaque place aval ou place de sortie, un nombre
de jetons égal au poids de l'arc joignant la transition à chacune de ces places. Le franchissement des
transitions et les modifications du marquage qu'il entraîne permettent d'analyser la dynamique du système
modélisé.
p1

3 t p3
7 Transition t
non tirable
p2
p4
2
p1 p1

t 2 p3 t 2 p3
Tir de t

p2 p2
p4 p4
3 3

Transition t tirable Après le tir de t

Exemple concret :
Une molécule d’eau est constituée de deux atomes d’hydrogène et d’un atome d’oxygène. Cette réaction
chimique peut être modélisée par un RdP :
H2

2 t1 2 t1
Tir de la
transition t1
O2  O2
H2O H2O

Remarques :

Lorsqu'une transition est validée, cela n'implique pas qu'elle sera immédiatement franchie; cela ne
représente qu'une possibilité de franchissement ou d’évolution du RdP.

Pour les RdP, il y a un seul franchissement à la fois :le réseau ne peut évoluer que par
franchissement d'une seule transition à la fois, transition choisie parmi toutes celles qui sont
validées à cet instant.

Le franchissement d'une transition est indivisible et de durée nulle.

7
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

En utilisant la notion d’algèbre linéaire, le franchissement (tir) d'une transition tj ne peut s'effectuer que si le
marquage de chacune des places pi directement en amont de cette transition est tel que :

i1 i2

pi tj

M(pi) ≥ Pré (pi, tj ) (condition nécessaire)

Le franchissement (tir) de tj consiste à retirer Pré (pi, tj ) jetons dans chacune des places directement en amont
de tj et à ajouter Post(pk,tj ) jetons dans chacune des places pk directement en aval de tj .
Le franchissement de tj conduit au nouveau marquage M' tel que :
∀pi ∈ P , M’(pi) =M(pi) - Pre(pi,tj) + Post(pi,tj)
tj
La différence des marquages M et M’ tels que M → M' est égale à Post – Pre. On introduit la matrice W, dite
matrice d'incidence telle que :

∀pi ∈ P , ∀ tj∈ T : W(pi,tj) = Post(pi,tj) - Pre(pi,tj)

La jieme colonne de la matrice d’incidence W donne donc la variation du nombre de jetons dans chaque place
lors du franchissement de la transition tj. On peut par conséquent établir le nouveau marquage M’ à partir du
marquage M par franchissement de la transition tj en appliquant la règle suivante :
0 
:
 
0 
 
M' =M +W 1  ← transition t j
0 
 
:
0 
 
Exemple

matrice d'incidence avant(Pre) matrice d'incidence arri è re(Post) matrice d'incidence

t1 t 2 t1 t 2 t1 t 2
p1 1 0 p1 0 1 p1 −1 1
E = p2 1 0 S = p2 0 0 W = S- E = p 2 −1 0
p3 0 1 p3 1 0 p3 1 −1
p4 0 0 p4 0 1 p4 0 1

Interprétation : Le franchissement de la transition t1 enlève un jeton à p1 et un jeton à p2 et ajoute un jeton à

p3. Le franchissement de la transition t2 enlève un jeton à p3 et ajoute un jeton à p1 et un jeton à p4. Un zéro
dans la matrice W correspondant à une transition ti et une place pj s’interprète comme l’absence d’un arc
reliant ces deux nœuds. Mais attention, cette dernière interprétation ne concerne que les Rdp dits purs. Par
ailleurs, la matrice d’incidence ne donne aucune indication sur la possibilité de franchir une transition
puisqu’elle est indépendante du marquage.
Le franchissement de la transition T2 conduit au marquage M’=[1 1 2 3]T qui peut être obtenu
algébriquement par la relation :

8
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

 0   -1 1 1 
1   -1 0  0  1 

M' =   +  .  =
1   1 -1 1  0 
     
 2   0 1  3 
A partir du marquage M’, le tir de T1, donne le nouveau marquage M’’ =[0 0 1 3]T qui peut être également
obtenu algébriquement par la relation :
1  -1 1 0 
1  -1 0  1  0 

M'' =   +  .  =
0   1 -1 0  1 
     
 3  0 1   3
Enfin ce marquage peut être obtenu à partir du marquage initial par le franchissement de la séquence T2T1 de
la manière suivante :
 0  -1 1 0 
1  -1 0  1 0 

M'' =   +  .  =
1   1 -1 1 1 
     
 2   0 1   3

Voir généralisation plus loin.

Remarque : Dans l’exemple ci-dessous, le poids des arcs est unitaire. Il s’en suit que les coefficients des
matrices E et S sont soit égal à 1 (présence d’un arc) ou soit égal à 0 (absence d’un arc). Dans le cas où les
arcs sont pondérés, il convient de tenir des poids lors de l’établissement des matrices E et S.

Exercice
Pour le réseau de Petri ci-contre:

Etablir la matrice d’incidence avant (Pre)

Etablir la matrice d’incidence arrière (Post)

Etablir la matrice d’incidence W

Etablir les marquages en utilisant l’algèbre
linéaire.

Exercice
Pour les RdP suivants, quelles sont les transitions tirables? Quelles seraient les répartitions des jetons après le
franchissement de chacune de ces transitions?

9
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Exercice à faire

Pour chacun des RdP ci-contre, indiquer :

Les places d’entrée et de sortie
des transitions

Le marquage du RdP,

les marquages après
franchissement des transitions
validées et les transitions validées
par les nouveaux marquages

Les transitions validées.

2.1.5. Marquages Accessibles & Graphe des Marquages

Marquages accessibles
Pour définir l'état d'un système modélisé par un réseau de Petri, il est nécessaire de compléter le réseau de
Petri par un marquage. Ce marquage consiste à disposer un nombre entier (positif ou nul) de jetons dans
chaque place du réseau de Petri.
L’ensemble des marquages accessibles d’un RdP à partir d’un marquage initial donné, correspond à
l’ensemble des marquages atteint après franchissement de transitions sensibilisées les unes après les autres ;
ce qui correspond à toutes les situations possibles du RdP au cours de son évolution à partir du marquage
initial. On appelle marquage M d’un RdP le vecteur dont les composantes représentent le nombre de jetons
dans chaque place : la ième composante de ce vecteur correspond au nombre de jetons dans la ième place. Il
indique à un instant donné l’état du RdP. On note le marquage initial, M0, le marquage à l’instant initial (t =
0).
L’ensemble des marquages accessibles, A(R;M0), pour le RdP ci-dessous est: A(R;M0) = {M0, M1, M2, M3,
M4}.

L’évolution du RdP est représentée ci-dessous avec les marquages représentés sous la forme de vecteurs
colonnes L’évolution du RdP est représentée ci-dessous avec les marquages représentés sous la forme de
vecteurs colonnes

10
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

M2 = 0 [ 1 0 0 ]T
1

Tir de T3
Tir de T2

[
M1 = 0 1 1 0 0]T
Tir de T4

Tir de T2
Tir de T1  Tir de T3
 Tir de T4 


M3 = 0 [ 0 1 1 0 ]T M4 = 0 [ 0 0 1 1 ]T

Tir de T5

L’évolution du RdP peut être représenté sous la forme d’un graphe des marquages GA(R ; M0), dont les
sommets correspondent aux marquages accessibles.

0 
 
1  Tir de T2
Tir de T3
M 2 = 0 
 
0 
1  0   
    1  0 
0 1   
Tir de T1 Tir de T4
M 0 = 0 M1 = 1  0 
    
0 0  Tir de T2 M 4 = 0 
0  
    1 
0  0   
0  
1 
M 3 = 1
 
1
 
Tir de T4 0 

Tir de T5

Enfin, il est possible de représenter un graphe de marquage sous forme d’un « organigramme ». Ainsi pour
l’exemple ci-dessous, on aura :

11
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

[
M0 = 1 0 0 0 0 ]T

Tir de T1

[
M1 = 0 1 1 0 0]T
Tir de T3 Tir de T2
Tir de T4

[
M2 = 0 1 0 0 1]T M3 = 0 [ 0 1 1 0 ]T
Tir de T2

Tir de T4
[
M4 = 0 0 0 1 1 ]T

Le marquage dit initial décrit l’état initial du système. Ainsi, l'ensemble des marquages accessibles à
partir du marquage initial par franchissement d'une séquence de transition correspond à l'ensemble des états
du système. Contrairement aux graphes d'état (*), une place d'un RdP ne correspond pas à un état du système
mais participe, à travers son marquage, à la description d'un ou de plusieurs états du système. L'ensemble des
marquages accessibles est équivalent au graphe d'état représentant le comportement du système.
Remarques :

On utilise le graphe de marquages quand le nombre de marquages accessibles est fini.

La représentation graphique d’un graphe de marquage permet de déterminer certaines propriétés de
celui-ci. Par exemple si le graphe présente une zone non bouclée, cette partie du marquage une fois
atteinte constitue un arrêt de l'évolution du RdP et celui-ci sera déclaré avec blocage.

2.1.6. Séquence de franchissement

Le franchissement successif de transitions (sensibilisées) dans un ordre donné à partir d’un marquage donné
constitue une séquence de franchissements.
(*) Un réseau de Petri est un graphe d’états si et seulement si toute transition a exactement une place d’entrée et une
place de sortie. Si l’ensemble des places du graphe d’états ne contient qu’un seul jeton, on retrouve le graphe d’état
classique introduit pour la description et la conception des machines logiques séquentielles. Il permet de visualiser des
phénomènes de concurrence (décision), mais pas de synchronisation. Un réseau de Petri est un graphe d’événements si
et seulement si toute place a exactement une transition d’entrée et une transition de sortie. Aussi, un graphe
d'événements peut modéliser des phénomènes de synchronisation, mais pas de concurrence.
Pour le RdP ci-dessous:

0 
 
1  Tir de T2
Tir de T3
M 2 = 0 
 
0 
1  0   
    1  0 
0 1   
Tir de T1 Tir de T4
M 0 = 0 M1 = 1  0 
    
0 0  Tir de T2 M 4 = 0 
0  
    1 
0  0   
0  
1 
M 3 = 1
 
1
 
Tir de T4 0 

Tir de T5

12
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Les Séquences de franchissement peuvent être notés différemment selon les auteurs. Par exemple, la
séquence qui conduit du marquage M0 au marquage M4 peut être notée :
S1 = T1 T3 T2 ou M0 (T1 T3 T2 M4 , M0(S1 M4), ou encore M0[S1 >M4).
S2 = T1T2T4T3T2T5 ou M0(T1T2T4T3T2T5 M0, M0(S2 M0), ou encore M0[S2 >M0).
S1 et S2 sont deux séquences possibles à partir du marquage initial M0 ; chacun des marquages est atteint
après le tir d’une transition permet le tir de la transition suivante dans la séquence.
Toute séquence de franchissement considérée à partir de M0 doit débuter par T1. La séquence S = T2T4T3,
n’est pas réalisable à partir de M0
De même, toute séquence de franchissement considérée à partir de M2 doit débuter par T2. La séquence S =
T3T4T2, n’est pas réalisable à partir de M2.
On définit S, vecteur caractéristique de la séquence S en précisant pour chaque transition le nombre de fois
où la transition est franchie dans la séquence.
L’équation fondamentale d’un marquage Mk à partir d’un marquage Mi est : M k = Mi + [Link] .
Cette équation permet de calculer en une seule opération, sans parcourir le réseau, le marquage obtenu après
le franchissement de la séquence complète.
Attention : Les résultats de l'équation fondamentale, même s'ils sont toujours calculables, n'ont de sens que
si la séquence représentée par S est effectivement réalisable.
A titre d’exemple, on considère la séquence de franchissement S = T1T2T4T2 du RdP précédent qui conduit
au marquage M1. Le vecteur caractéristique S = [1 2 0 1 0]T. On commence par établir la matrice d’incidence
W comme suit :
0 0 0 0 1  1 0 0 0 0   -1 0 0 0 1
1 0 0 1 0 0 1 0 0 0   1 -1 0 1 0 

W = S- E = 1 0 0 0 0 - 0 0 1 0 0 =  1 0 -1 0 0
     
0 1 0 0 0 0 0 0 1 1  0 1 0 -1 -1
0 0 1 0 0 0 0 0 0 1   0 0 1 0 -1

Le marquage obtenu à partir du marquage initial M0 est alors :
1  -1 0 0 0 1  1   0 
0  1 -1 0 1 0   2   0 
  
M = M 0 + [Link] =  0 +  1 0 -1 0 0   0  = 1  ,
      
0  0 1 0 -1 -1  1  1 
0  0 0 1 0 -1  0   0 
  
qui correspond bien au marquage M1.

Attention : L’obtention d’un marquage à partir d’un autre ne signifie pas forcément l’unicité du vecteur
caractéristique. En effet, si on reprend l’exemple ci-dessous, on aboutit à partir du marquage initial M0 au
marquage M3 par franchissement de la séquence T1T3 (S=[1 0 1 0 0]T) ou par franchissement de la séquence
T1T3T2T4 (S=[1 1 1 1 0]T).
Une séquence est dite répétitive si à partir d’un marquage initial, on aboutit à un marquage final identique au
marquage initial.
Exemple :
Le tir de la séquence S = T3T2T1 conduit au même marquage initial :
1 
 0   −1 1 0 0    0 
M = M 0 + [Link] =  2  +  1 2  ×   =  2 
1
0 −1
1 
 0   0 −1 1 −2     0 
 0
Cette séquence est alors répétitive.

13
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

2.1.7 Propriétés des réseaux de Petri

[Link] Conflits et parallélisme :
RdP sans conflit
Un réseau de Petri est dit sans conflit si et seulement si toute place a au plus une transition de sortie. Un
conflit (structurel) correspond à l’existence d’une place Pi qui a au moins deux transitions de sortie Tj , Tj.
Un RdP avec conflit est un réseau qui possède donc une place avec au moins deux transitions de sorties.
Cette situation du conflit correspond à la concurrence à la consommation des jetons à une place.
Dans l’exemple ci-dessous, T1 et T2 sont en conflit structurel potentiel pour le partage des jetons de la place
P1. Quand la place P1 contient un jeton, les transitions T1 et T2 sont franchissables. Seule une des deux
transitions peut être franchie : il est nécessaire de prendre une décision pour savoir laquelle des deux le sera
effectivement. Ce conflit structurel doit être arbitré par une règle de priorité quelconque lorsque le conflit est
effectif, c’est-à-dire lorsque les transitions aval en compétition pourraient être activées.

Ne pas arbitrer un conflit structurel fait que le comportement n’est pas entièrement spécifié.
Algébriquement, on peut détecter la présence d’un conflit structurel :
Deux transitions Ti et Tj sont en conflit structurel si :
∃ Pk tel que Pre(Pk,Ti) x Pre(Pk,Tj) ≠ 0
La multiplication est effectuée terme à terme.
Exemple :
Lorsque la place P3 est marquée, les transitions T2 et T4 sont en conflit
structurel.
0 0 0
Pre(P3, T2) x Pre(P3, T4)=  0  x  0  =  0  ≠ 0
1   2   2

RdP à choix libre (ou simple)

Un RdP est à choix libre est un réseau dans lequel pour tout conflit [Pi,{T1,T2,…,Tn}] aucune des transitions
T1,T2,…,Tn ne possède aucune autre place d’entrée que Pi .

RdP avec conflit et à choix non libre

Conflit relatif au marquage ou transitions en conflit effectif

Dans un Rdp, deux transitions Ti et Tj sont en conflit effectif pour un marquage M si et seulement si :
M ≥ Pre(.; Ti), M ≥ Pre( . ; Tj) et M n’est pas supérieur ou égal Pre( .; Ti) + Pre(.; Tj).

14
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Cela veut dire qu’il y a assez de jetons pour que l’une des deux transitions Ti ou Tj (exclusivement) soit
franchie mais pas les deux à la fois. Dans le réseau de Petri de la figure ci-dessous, les transitions T1 et T3
sont en conflit effectif pour le marquage initial M0 =[0 3 0]T:

Il y a assez de jetons dans la place P2 pour le franchissement de T1 ou

bien pour le franchissement de T3 mais pas pour les deux à la fois. Par
contre pour le marquage :M0=[0 4 0]T, ces transitions sont toujours en
conflit structurel mais elles ne sont plus en conflit effectif.

[Link] RdP pur

Un RdP pur est un réseau dans lequel il n’existe pas de transition ayant une place d’entrée qui soit à la fois
place de sortie de cette transition (boucle élémentaire). Dans le cas contraire, on parle de RdP impur.

La transition T2 admet à la fois la

place P3 comme place d’entrée et
place de sortie

Exemple de RdP impur

Remarque
La matrice d’incidence W est liée à la structure du RdP. Si le réseau est pur (Absence d’une boucle
élémentaire) alors il est possible de reconstruire le RdP à partir de sa matrice d’incidence. En effet le RdP ci-
dessous est impur à cause de la présence d’une boucle élémentaire (P3,T5) dont la matrice d’incidence W est
donnée ci-contre.

1 -1 0 0 0
W =  -1 1 -1 1 0
 0 0 1 -1 00

Mauvaise interprétation de ce zéro

Donc, la matrice d’incidence W ne contient donc pas (toujours) toute l’information sur la structure du RdP

Par ailleurs, la notion d’impureté n’est pas forcément une propriété contraignante. Elle permet de simplifier
la structure d’un RdP. L’exemple suivant constitue une bonne illustration de ce propos. En effet, on
considère la réaction chimique suivante qui doit se dérouler en présence d’un catalyseur (platine) :
H 2 + C2 H 4 platine
uuuuuuuur C2 H 6

15
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

L’état initial du système est caractérisé par :

– deux unités de H2 (2 jetons dans la place P1)
– une unité de C2H4 (1 jeton dans la place P2)
– le platine est libre (1 jeton dans la place P3)
– une unité de C2H6 (1 jeton dans la place P4)

Le RdP représentant cette réaction chimique est donné par la figure de gauche. L’état du système va évoluer
quand la réaction chimique se produit (franchissement de la transition T1). La place P3 doit être
impérativement en entrée de la transition T1. Cependant, quand la réaction chimique se produit, le platine
étant un catalyseur, il n’est pas consommé. Par suite, la place P3 doit être en sortie de la transition T1 de
façon à restituer la ressource après que la réaction se soit produite.
Ce RdP n’est pas pur puisque la place P3 est à la fois place en entrée et en sortie de la transition T1. Par
contre, une description plus fine de la réaction chimique donne lieu au RdP pur donné par la figure à droite.
Cependant, il est plus complexe. Par description plus fine, on entend que la réaction chimique n’est pas
instantanée et les transitions T2 et T3 modélisent le début et la fin de cette réaction chimique.
Cet exemple montre que des “transitions impures” peuvent ainsi introduites pour simplifier le modèle RdP
d’un système.

[Link] Réseau propre (réinitialisable)

Un Rdp est propre si et seulement ∀le marquage Mi accessible depuis M0, ∃ une séquence de tirs
conduisant à M0.
Cette définition découle en faite de la notion « Etat d’accueil » :
État d’accueil
Un RdP possède un état d’accueil Ma pour un marquage initial Mo si pour tout marquage accessible Mi il
existe une séquence de tirs S telle que Mi[S >Ma. Il s’en suit qu’un RdP est réinitialisable (ou réversible)
pour un marquage initial Mo si Mo est un état d’accueil.

[Link] Réseau vivant (sans blocage)

La propriété de vivacité examine si une partie ou l’ensemble du réseau peut ou non évoluer.
Une transition Tj est vivante pour un marquage initial M0 si pour tout marquage accessible Mk, il existe une
séquence de franchissements à partir de Mk contenant Tj :
M0  Mk
∀Tj ∃ séquence de tirs passant par Tj
Un RdP marqué est vivant pour un marquage initial M0 si toutes ses transitions sont vivantes pour ce
marquage initial.
Si une transition Tj est vivante alors, à tout instant, on sait que Tj peut être franchie au cours de l’évolution
du RdP. Dans le cas d’un RdP modélisant un système fonctionnant en permanence, si une transition n’est pas
vivante et si une fonction du système est associée au franchissement de cette transition, cela veut dire qu’à
partir d’un certain instant, cette fonction ne sera plus disponible dans le futur, ce qui peut traduire une erreur
ou une panne.
16
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Exemple d’unRdP non vivant

Marquage initial : M0 = [1 1 0 0]
Tir de T1  M1 = [0 0 1 1]
Tir de T2 M2 = [0 1 2 0]  blocage !

RdP
Remarques

RdP quasi vivant : Une transition Tj est quasi vivante pour un marquage initial M0 s’il existe une
séquence de franchissements à partir de M0 contenant Tj. Il s’en suit qu’un RdP est quasi vivant pour
un marquage initial M0 si toutes ses transitions sont quasi vivantes pour ce marquage initial.
Conséquemment, une transition qui n’est pas quasi-vivante est inutile!
Exemple d’une transition quasi-vivante:

La transition T1 est quasi vivante pour le

marquage initial M0. T1 est tirable au moins
une fois)

Exemple d’un RdP quasi-vivant:

Toutes les transitions sont quasi vivantes pour

le marquage initial M0.

RdP pseudo vivant : Un RdP est dit pseudo vivant si depuis le marquage initial, son évolution est
telle qu’il existe au moins une transition qui puisse être franchie.

Avec le marquage initial :

- T1 et T2 sont tirables  le RdP est pseudo vivant
- T3 n’est pas tirable  le RdP n’est pas quasi vivant

[Link] Réseau borné

Cette propriété répond à la question de savoir si le nombre de jetons circulant dans le réseau reste borné ou
non.

17
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Soit un réseau R et un marquage M0. Une place Pj du réseau marqué (R,M0) est k-bornée si pour tout
marquage Mi accessible depuis M0, Mi (Pj) ≤ k.
Pj est k-borné ⇔ ∀ Mi accessible depuis M0, et Pj ∈ P, Mi(Pj) ≤ k
Un RdP marqué est borné si toutes ses places sont bornées.
Dans le cas contraire la place Pj est dite non bornée. Il s’en suit que le RdP est qualifié de non borné.
Exemple d’un réseau non borné
Marquages successifs :
Marquage initial : M0 = [0 0 1]
Tir de T2 M1 =[1 1 0]
Tir de T1 M2 =[0 1 1]
Tir de T2 M3 =[1 2 0]
Tir de T1 M4=[ 0 2 1]
Tir de T2 M5 =[1 3 0] …
Croissance infinie des jetons dans la place P2.

Remarque : Si k = 1 le RdP est dit sauf ou binaire.

Graphe des marquages des réseaux non bornés.

Dans ce cas le graphe des marquages accessibles n’est pas fini. Néanmoins, il est possible de conserver le
même mécanisme que précédemment, mais pour chaque nouveau marquage (noeud du graphe) ajouté, on
vérifie s'il n'est pas supérieur à un marquage déjà présent sur au moins une séquence entre M0 et le nouveau
marquage.
Si tel est le cas tous les marquages de place supérieurs sont remplacés par ω. Ce symbole matérialise le fait
que la place en question peut contenir autant de jetons que souhaité (elle est donc non bornée).
Exemple
0
 
1  Tir de T3
Tir de T2 M2 =  
ω
 
1  0   0 
    0
0 1   
M0 =   Tir de T1 M1 =  
0 0 1 
     Tir de T3 M4 =  
0  0  ω
0  
   0 
0
M3 =  
0
 
1 

Dans la suite, les places non bornées le demeurent naturellement et ceci quelles que soient les transitions
franchies, ainsi le symbole ω ne disparaît jamais. Cette méthode produit le graphe de couverture, un graphe
fini dans tous les cas.

Comment établir un graphe de couverture ? :

A partir du marquage initial :

Début On calcule pour chaque transition tirable le nouveau marquage obtenu et si
- Ce marquage existe déjà, on boucle.
- Ce marquage n’existe pas, alors on le crée et si
- Il est strictement supérieur à la branche traitée on arrête le calcul car le réseau n’est pas
Borné.
- Sinon aller au début.

[Link] Réseau conforme

Un réseau de Petri vivant et sauf est dit conforme: 1 jeton, sans blocage.
18
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

[Link] Réseau de Petri généralisé

Le franchissement d’une transition validée consiste à enlever un jeton de toutes les places d’entrée de la
transition et à en déposer un dans toutes les places de sortie de cette même transition.
Ceci implique que les arcs orientés reliant les places (d’entrée et de sortie) aux transitions ont par défaut une
valuation ou un poids d’une unité. Ce sont les RdP ordinaires.
De manière plus générale la valuation ou le poids des arcs d’un RdP peut être supérieure à 1. Dans ce cas les
RdP sont dits généralisés.
Chaque arc porte le nombre de jetons qui le traverse lors d’un tir de transition.
Tout RdP généralisé peut être transformé en RdP ordinaire. Cette transformation qui ne présente pas d’intérêt
particulier pour l’analyse par les RdP est uniquement donnée pour illustrer l’équivalence entre RdP
généralisé et RdP ordinaire. Par ailleurs, l’exemple présenté est relativement simple mais cette
transformation peut conduire à des RdP ordinaires très complexes.
Dans le RdP généralisé l’arc T1 P1 a un poids de 2. Dans le RdP ordinaire équivalent, la transition T1 est
remplacée par le ”sous-réseau” constitué de T’1 , P’4 et T ’’1. Pour le marquage indiqué, seule la transition
T’1 est validée. Le franchissement de T’1 , enlève un jeton de P2 , de P3 et de P’4 et en dépose un dans P1 et
dans P’4. Pour ce nouveau marquage seule T’’1 est franchissable. Son franchissement dépose alors un
deuxième jeton dans P1. Le marquage est alors identique à celui qu’atteindrai le RdP généralisé par le
franchissement de T1. Le rôle de la place P4 est de permettre le franchissement en séquence des transitions
T’1 et T’’1 avant le franchissement de T2.

A revoir !

a
[Link] RdP autonome et non autonome
Un RdP autonome décrit le fonctionnement d'un système dont les instants de franchissement ne sont pas
connus ou indiqués.
Un RdP non autonome décrit le fonctionnement d'un système dont l'évolution est conditionnée par des
événements externes ou par le temps. Un RdP non autonome est synchronisé et/ou temporisé.

Ce RdP est autonome : le moment de passage d’une saison à une autre n’est pas indiqué.

19
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

[Link] Réseau à capacités

Dans un RdP ordinaire (ou généralisé) il n’y a aucune limitation quant au nombre de jetons pouvant être
déposé dans une place Un RdP à capacités est un RdP dans lequel des capacités (nombres entiers strictement
positifs) sont associées aux places. Le franchissement d’une transition d’entrée d’une place Pi dont la
capacité est cap(Pi) n’est possible que si le franchissement ne conduit pas à un nombre de jetons dans Pi qui
est plus grand que Cap(Pi).
Dans l’exemple suivant, la transition T1 ne peut avoir lieu lorsque le nombre de jetons dans P2 atteint 2.

Exemple : On reprend l’exemple de l’atelier de découpe du bois. Si on considère que la capacité de stockage
des pièces traitées est 3 par exemple, le RdP associé est modifié de la manière suivante :

Transformation d’un RdP à capacité en RdP ordinaire

Tout RdP à capacité peut être transformé en RdP ordinaire. Pour transformer le RdP à capacité ci-dessous en
RdP ordinaire, il suffit de supprimer la capacité de la place Pj est d’ajouter une place Pj1 qui est place
d’entrée de Ti et place de sortie de Tj ; la capacité de la place Pj est alors limitée par le fonctionnement du
RdP.
Exemple

Le fonctionnement du RdP ordinaire considéré précédemment est détaillé ci-dessous. La place P2 ne peut
contenir qu’un maximum de 4 jetons.

20
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Tir de T1 Tir de T1 Tir de T1 Tir de T2

[Link] Réseau de Petri interprété

On appelle un RdP interprété un réseau tel que :

les événements (entrées) sont associés aux transitions Ti

les conditions (actions,sorties) sont associées aux places Pi

les états sont associés aux marquages Mi
Tir de la transition si :
1) transition sensibilisée
2) prédicat sur des entrées soit vrai (exemple : ab = 1)

Exemple : Commande automatique d’une perceuse industrielle

BP

Montée
BP : Bouton départ de cycle
H Descente H : Fin de course haute
B : Fin de course basse
Rotation
B

Le système dispose de 3 entrées et 3 sorties. Il peut être dans l'un des trois états suivants :

Arrêté

Descente

Montée.
A chaque état on peut associer le ou les événements qui peuvent provoquer un changement d'état, par
exemple lorsque la perceuse est arrêtée, seul l'appui sur le BP provoquera un changement d'état, le système
est réceptif uniquement à BP pour cet état, de même que B pour l'état descente et H pour l'état montée.
On peut repérer des événements impossibles, par exemple : H et B ne peuvent pas être actionnés
simultanément.
Pour chaque état, il y a des conditions de sortie à remplir (actions) pour les actionneurs Rotation, Montée et
Descente. Ces éléments permettent la construction d'un Réseau de Pétri interprété.

21
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

2.2 Quelques structures particulières des réseaux de Petri

Les RdPs permettent de modéliser un certain nombre de comportements importants dans les systèmes : le
parallélisme, la synchronisation, le partage de ressources, la mémorisation et la lecture d’information, la
limitation d’une capacité de stockage. Dans cette section, sont présentées les différentes structures
apparaissant dans un réseau de Petri reproduisant ce type de comportements.

2.2.1. Parallélisme
Le parallélisme représente la possibilité que deux ou plusieurs processus évoluent de manière simultané au
sein du même système à l’aide d’une transition ayant plusieurs places de sortie. Pour cela, le RdP doit
contenir la structure présentée ci-dessous :

Le franchissement de la transition T1 met un jeton dans la place P12 (ce qui

marque le déclenchement du processus 1) et un jeton dans la place P21 (ce qui
marque le déclenchement du processus 2). La place P1n correspond à la fin du
processus 1 et la place P2k à la fin du processus 2. Le RdP évoluera par
franchissement de la transition T2. Pour cela, il est nécessaire que les places P1n
et P2k contiennent chacune au moins un jeton, c’est-à-dire que les processus 1 et
2 soient terminés. Cette remarque traduit la notion de synchronisation.

2.2.2. Synchronisation

Synchronisation mutuelle
(par rendez-vous)

La synchronisation mutuelle ou rendez-vous permet de synchroniser

les opérations de deux processus (ou plusieurs). Dans l’exemple ci-
contre, le franchissement de la transition T3 ne peut se faire que si la
place P1 du processus 1 et la place P2 du processus 2 contiennent
chacun au moins un jeton. Si ce n’est pas le cas, par exemple la place
P2 ne contient pas de jeton, et la place P1 contient un jeton, le
processus1 est “ bloqué ” sur la place P1 : il attend que l’évolution du
processus 2 soit telle qu’au moins un jeton apparaisse dans la place
P2.

Les opérations d’un processus ne peuvent se poursuivre que si un

processus a atteint un certain niveau dans la suite de ses opérations.
Synchronisation (sémaphore) Par contre, l’avancement des opérations du premier processus ne
dépend pas de l’avancement des opérations du second processus. Pour
l’exemple ci-contre, le processus 2 ne peut franchir la transition T4
que si la place P0 contient au moins un jeton. Un jeton est ajouté dans
22
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

la place P0 lorsque l’évolution du processus 1 amène le

franchissement de la transition T1. L’évolution du processus 2
va donc dépendre de l’évolution du processus 1.

2.2.3 Partage de ressources

Cette structure va modéliser le fait qu’au sein du même système

plusieurs processus partagent une même ressource. Dans la figure
ci-contre, le jeton dans la place P0 représente une ressource mise en
commun entre le processus 1 et le processus 2. Le franchissement
de la transition T1 lors de l’évolution du processus 1 entraîne la
“consommation” du jeton présent dans la place P0. La ressource que
constitue ce jeton n’est alors plus disponible pour l’évolution du
processus 2 puisque le franchissement de la transition T1 n’est plus
possible. Lors de l’évolution du processus 1, lorsque la transition T2
est franchie, un jeton est alors “redonné” à la place P0 : la ressource
redevient alors disponible pour l’évolution des deux processus.
On retiendra donc que la propriété d’exclusion mutuelle est garantie
par l’utilisation exclusive du jeton de la place P0 par les processus
P1 et P2.

2.3 Introduction aux réseaux de Petri temporisés

Les réseaux de Petri abordés jusqu’à présent modélisent des systèmes dont l’évolution ne dépend pas du
temps. En effet, dans le modèle classique, les transitions sont activées sans tenir compte des contraintes
temporelles comme les temporisations par exemple. Il existe aussi des réseaux de Pétri temporels qui
permettent d’étudier des problèmes plus spécifiques aux systèmes en temps réel, comme l’ordonnancement
dynamique. Ces réseaux ont montré leur intérêt en particulier dans l’évaluation des performances d’un
système.
Deux façons de modéliser la temporisation: par une temporisation associée aux places (RdP P- temporisé) ou
associée aux transitions (RdP T- temporisé). On montre par modification de la structure, il est possible de
transformer un RdP P- temporisé en RdP T- temporisé et inversement. Ainsi et sans perte de généralité, on
présentera uniquement les RdP P- temporisés.
Pour les RdP P- temporisés, on associe à chaque place P une temporisation T, éventuellement nulle. On
considère le cas le plus simple où T est fixe mais dans le cas général elle peut être variable.

23
 Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Principe de fonctionnement: lorsqu’un jeton est déposé dans une place P, ce jeton doit rester au moins
pendant le temps T. On dit que le jeton est indisponible pendant cette durée. Quand la temporisation T s’est
écoulée, alors le jeton devient disponible.
A titre d’illustration, on considère l’exemple suivant dans lequel, on a associe une temporisation d1 pour la
place P1 et une temporisation d2 pour la place P2.

Indisponibilité du
jeton dans P1 d1
T2 non tirable

Disponibilité du
jeton dans P1
T2 tirable

Indisponibilité du
jeton dans P2 d2
T3 non tirable

Franchissement de
T3

Remarque
Les notions de séquences de franchissement, sont également définies dans ces réseaux mais dépendent
généralement de la notion de vitesse maximale: dès qu’une transition est validée elle est franchie ou un jeton
ne reste dans une place que pendant la durée de son indisponibilité.
Exemple : On reprend l’exemple de l’atelier de coupe (page 3) où on considère que la présence d’un jeton
dans la place P3 correspond au traitement d’une commande par la machine de coupe. La découpe elle-même
durera un certain temps d3. Quand un jeton est introduit dans la place P3 (début de découpe), il est nécessaire
de “bloquer” le jeton dans cette place pendant au moins un temps d3. Pendant ce de temps, le jeton n’est pas
disponible pour la validation de la transition T3.

24
Optimisation Intélligente Notes de Cours par A. J. TELMOUDI

Passage d’un RdP P – Temporisé vers à un RdP T – Temporisé

Passage d’un RdP T – Temporisé vers à un RdP P – Temporisé

Exercice
On considère le fonctionnement d’une entreprise de location de voitures. Cette entreprise a deux types de
clients :

chacun des N1 clients de type 1 utilise une voiture pendant une durée d1; le temps moyen entre deux
demandes est de dd1;

chacun des N2 clients de type 2 utilisent une voiture pendant une durée d2; le temps moyen entre
deux demandes est de dd2.
N0 représente le nombre de voitures de l’entreprise. Après chaque retour de location, la voiture passe au
garage pour entretien pour une durée de. On désire déterminer la durée d0 minimale d’attente d’une voiture
après entretien et avant location.

Approfondissement :
• Réseaux de Petri colorés
• Réduction des réseaux de Petri.

25