Université Aube-Nouvelle

Module
Réseaux de Petri

Georges BONKIAN

1
 Objectifs du module
Ce module vous permettra de vous initier à un outil de
modélisation très puissant et très répandu notamment dans le
monde recherche et développement. C’est un outil permet
essentiellement la modélisation des systèmes dans plusieurs
domaines tels que l’Informatique, la télécommunication, la
production

2
 Objectifs du cour

Nous présenterons quelques définitions et formalismes et concepts de base

de cet outil. Ensuite nous discuterons de quelques propriétés très utiles
dans l’analyse des Réseaux de Petri (RdP) et des techniques de
simplification.

A la fin de chapitre, vous serez en mesure de modéliser le fonctionnement

d’un système à l’aide d’un RdP et de déterminer ses propriétés.
 

3
 PLAN
I. Introduction aux Réseaux de Petri
II. Concepts de bases
III. Propriétés des RdP
IV. Méthodes de réduction des RdP
V. RdP colorés
VI. RdP temporisés

4
 Introduction aux RdP

• Modèle mathématique permettant la représentation de systèmes

distribués discrets (informatique, industriel), introduit par Petri (1962)
• langage de modélisation, qui représente sous la forme d’un graphe
orienté.
Etudie des systèmes discrets dont les champs d’application sont les systèmes
de production (caractérisés par une variation imprévisibles des besoins).

5
 Introduction aux RdP
Systèmes Manufacturiers Flexibles (FMS), caractérisés par :
• un ensemble de machines flexibles (multi-produits) ;
• un système de transfert automatique (multi-ressources) ;
• un système de prise de décision (ordonnanceur).

6
 Introduction aux RdP
Systèmes à Evènements Discrets (SED), caractérisés par :
• des contraintes de précédence (dans les gammes de fabrication ou dans
les algorithmes) ;
• des effets de concurrence induits par le partage des ressources ;

• une structuration en tâches parallèles, asynchrones, soumises à des

contraintes temporelles strictes ou non.

7
 Introduction aux RdP

Systèmes complexes et couteux à mettre en œuvre :

• valider les spécifications ;
• prévoir les performances ;
• optimiser le fonctionnement (théorie des files d’attentes, simulation,
etc.).

8
 Introduction aux RdP
Cet outil permet de modéliser des phénomènes très variés à savoir :
• La modélisation des systèmes informatiques,
• L’évaluation des performances des systèmes discrets, des interfaces
homme-machine,
• La commande des ateliers de fabrication,
• La conception de systèmes temps réel,
• La modélisation des protocoles de communication,
• La modélisation des chaines de production (de fabrication)

9
 Introduction aux RdP
Deux principaux types de représentation permettent d’aborder les réseaux
de Petri :
• une représentation graphique sous forme de graphe, permettant de
capturer la dynamique du système ;
• une représentation algébrique linéaire.

10
 Introduction RdP

Avantages
• ils permettent de décrire de manière précise mais non formelle la
structure d’un système;
• ils offrent un support graphique de conception;

• ils permettent de décrire un système étape par étape, en décomposant

en éléments plus simples les éléments constitutifs initiaux du système;

11
 Introduction aux RdP

• ils permettent de décrire à l’aide d’un même support de base à la fois la

structure et la dynamique d’un système;
• ils permettent de passer d’une description graphique d’un système à une
description formelle permettant l’analyse mathématique du système
(cohérence).

12
 II Concepts de base
1. Eléments de base
 un graphe

Un graphe peut être défini par un ensemble d´éléments appelés nœuds ou

sommets et un ensemble de relations appelées arcs. Lorsque les arcs sont
orientés on parle de graphe orienté.
 

13
 II Concepts de base
Exemples:

Graphe non orienté Graphe orienté

14
 II concepts de base

 Conditions

Une condition est un prédicat logique d’un état du système. Elle est soit
vraie, soit fausse.
Les conditions nécessaires au déclenchement d'un événement sont les pré-
conditions de l'événement. Lorsqu'un événement se produit, certaines de
ses pré-conditions peuvent cesser d'être vrais alors que d’autres conditions,
appelées post-conditions de l'événement deviennent vraies.

15
 II concepts de base

 Evènement

Les évènements sont des actions se déroulant dans le système. Le

déclenchement d’un évènement dépend de l’état du système.

16
 II Concepts de base
2. Définitions
 Définition 1:
Un réseau de Petri est un graphe orienté comprenant 2 types de sommets
(nœuds) :
 Les Places représentées par :

 Les transitions représentées par :

17
 II Concepts de base

Ils sont reliés entre eux par des arcs orientés. Un arc relie soit une place à
une transition soit une transition à une place jamais une place à une place
ou une transition à une transition.
Exemple :Considérons l’exemple d’une machine qui peut être dans trois
états : arrêt, marche et panne.

18
 II Concepts de base
Cas particuliers
• Une transition source est une transition qui n’a pas de place en entrée de
la transition.

19
 II Concepts de base
• Une transition puits est une transition qui n’a pas de place en sortie de la
transition.

20
 II Concepts de base
La satisfaction d’une condition est modélisée à l’aide d’un jeton.

Condition fausse Condition vraie

21
 II Concepts de base

En terme de modélisation une place correspond à une variable d’état du

système qui va être modélisé et une transition à un évènement et/ou une
action qui va entraıner l’évolution des variables d’état du système. A un
instant donné, une place contient un certain nombre de marques ou jetons
qui vont évoluer en fonction du temps : il indique la valeur de la variable
d’état à cet instant.

22
 II Concepts de base

Quand un arc relie une place à une transition, cela indique que la valeur de
la variable d’état associée à la place influence l’occurrence de l’évènement
associe à la transition. Quand un arc relie une transition à une place, cela
veut dire que l’occurrence de l’évènement associé à la transition influence la
valeur de la variable d’état associée à la place.

23
 II Concepts de base
 Définition 2:
Un RdP est un graphe composé de 2 types de nœuds :
- Les places (Pi) qui permettent de décrire les états du système modélisé.
L'ensemble de ces places est noté P= {P1, P2, ...}.
- Les transitions (Ti) qui représentent les changements d'états. L'ensemble
de ces transitions est noté T= {T1, T2, ...}.
A chaque arc, on attribue un poids (nombre entier). Par défaut ce nombre
est égal à 1.
 

24
 II Concepts de base

Exemple:

25
 II Concepts de base

3. Marquage
On appelle marquage M d’un réseau de Petri le vecteur du nombre de
marques dans chaque place. Le nombre de marque contenu dans une place
Pi sera noté M(Pi) ou mi.
Le marquage du réseau à l'instant i, Mi est défini par le vecteur de ces
marquages mi c.-à-d. Mi= (m1, m2, …,mn).

26
 II Concepts de base

Le marquage dit initial décrit l'état initial du système modélisé (M0).

Le marquage initial Mo décrit l’état initial du système.
Exemple: Soit le RdP suivant;

27
 II Concepts de base

Ce RdP possède 4 places, 4 transitions et 8 arcs orientés. Soit donc :

P = {P1, P2, P3, P4} et T= {T1, T2, T3, T4} ;
Le marquage initial est M0 = (2 1 1 0);
La place P1 est en amont (une entrée) de la transition T2 et elle est en aval
(une sortie) de la transition T1 ;
T1 est une transition sans place d'entrée: transition source ;
T4 est une transition sans place de sortie: transition puits ;

28
 II Concepts de base

Remarque
Le marquage à un instant donné définit l'état du RdP, ou plus précisément
l'état du système décrit par le RdP. L'évolution de cet état correspond donc à
l'évolution du marquage (par franchissement de transitions).
 

29
 II Concepts de base

4. Matrice d’incidence
 Matrice de Pré- incidence

C’est une matrice à n lignes et m colonnes avec n le nombre de place et m le

nombre de transition dans le RdP ou Pré(Ti) est l’ensemble des arcs entrants
dans Ti ;

30
 II Concepts de base

 Matrice de Post-incidence

C’est une matrice à n lignes et m colonnes avec n le nombre de place et m le

nombre de transition ou Post(Ti) est l’ensemble des arcs sortants de Ti.
La matrice de post incidence est également noté W-
 Matrice d’incidence

La matrice d’incidence du réseau est C = Post − Pre

31
 II Concepts de base

Exemple : soit le RdP suivant :

32
 II Concepts de base

La matrice de pré-incidence

33
 II Concepts de base

Matrice de post-incidence

34
 II Concepts de base

Définition 3 :
On appelle Réseau de Petri non marqué le quadruplet Q =< P; T; Pre;Post >
où:
P est un ensemble fini non vide de places ;
T est un ensemble fini non vide de transitions ;
Pre(i) est l’ensemble des places qui sont en entrée de la transition i ;
Post(i) est l’ensemble des places qui sont en sortie de la transition i.

35
 II Concepts de base

On appelle Réseau de Petri marqué R =< Q;M0 > où M0 est le marquage

initial.
Exemple:
Modéliser le fonctionnement d’un feu tricolore à l’aide d’un RdP.

36
 II Concepts de base
5. Franchissement d’une transition
Le franchissement est une opération indivisible qui consiste à retirer des
jetons des places en amont (en entrée) et à ajouter des jetons dans les
places en aval (sortie) de la transition franchie.
Le franchissement d'une transition ne peut s'effectuer que si chacune des
places en amont de cette transition contient suffisamment de jetons. On dit
alors que la transition est franchissable ou validée.

37
 II Concepts de base

Exemple:

Transition non validée Transition validée

38
 II Concepts de base

Exemple: Déterminer les nouveaux marquages obtenus dans les exemples

suivant en franchissant les transitions validées.
 
 

39
 II Concepts de base

Remarque: Lorsqu'une transition Tj est validée, cela n'implique pas qu'elle

sera immédiatement franchie. Cela veut dire que les conditions nécessaires
à son franchissement sont réunies : l’action ou l’évènement associé à la
transition sont possibles.

40
 II Concepts de base

Ensemble de marquage accessibles

On considère le RdP suivant:  

41
 II Concepts de base

Le marquage initial est M0= (1, 0, 0, 0,0). Pour ce marquage M0, seule la
transition T1 est validée et son franchissement conduit au marquage M1= (0
1 1 0 0).

42
 II Concepts de base

On notera *M0 l’ensemble des marquages accessibles à partir du marquage

initial M0. Pour notre exemple *M0= {M0, M1, M2, M3, M4}
 

43
 II Concepts de base

 
- séquence de franchissement
Le franchissement de M0, de T1 puis T2 conduit au marquage M2. On
appellera séquence T1T2 de franchissement et on notera:

M0  T1T2 M2

Pour un RdP et à partir d’un marquage initial M0, un marquage Mq est dit
accessible si il existe une séquence S tel que:
S
M0 Mq

44
 II Concepts de base

6. Le Graphe de transition ou graphe d’état

C'est une représentation graphique des possibilités d'évolution du RdP. Elle
est obtenue en partant du marquage initial et en étudiant à chaque
marquage obtenu Mi après le franchissement d’une transition Ti les
différentes possibilités d’évolution du RdP. Ceci correspond aux différentes
transitions validées par le marquage Mi.

45
 II Concepts de base

Exemple : Pour le RdP précédent, nous obtenons le graphe suivant :

 
 

46
III Propriétés des Réseaux de Petri

47
 III Propriétés des RdP

1. Réseau Borné
Pour un marquage initial  M0  donné, une place  i  est bornée si, pour tout
marquage futur à partir de ce marquage M0, le nombre de jetons dans p
n'excède jamais un nombre donné k. On peut dire aussi que: Quel que soit
M appartenant à la classe des marquages conséquents de M0 on aura
toujours M(i) < k.

48
 III Propriétés des RdP

   Un réseau est dit borné pour un marquage initial  M0  donné si toutes ses
places le sont pour ce marquage initial.

Lorsque la borne est égale à 1, le RdP est dit Sauf ou binaire

 

49
 III Propriétés des RdP

Exemple: Trouver parmi les RdP suivants ceux qui sont bornés

50
 III Propriétés des RdP

2. Vivacité
Une transition Tj est vivante pour un marquage initial M0 si pour tout
marquage accessible Mi (appartenant à *M0), il existe une séquence de
franchissement S qui contient la transition Tj, à partir de Mi. En d'autres
termes, il sera toujours possible de repasser par le franchissement de la
transition  tj.

51
 III Propriétés des RdP

Un RdP est vivant pour un marquage initial M0 si toutes ses transitions sont
vivantes pour M0.
Un réseau sauf et vivant est dit conforme.

Exemples
 

52
 III Propriétés des RdP

3. Blocage
Un blocage est un marquage tel qu'aucune transition n'est validée. Un RdP
est dit donc sans blocage (pseudo vivant) pour un marquage initial M0 si
aucun marquage accessible Mi n'est un blocage.
La vivacité indique que le système représenté est sans blocage, mais
également qu'il n'existe pas de branche morte dans le modèle graphique
donc pas de spécification incomplète.
 

53
 III Propriétés des RdP

Exemple:
 

54
 III Propriétés des RdP

4. RdP propre
Un RdP est propre si pour tout marquage M accessible à partir du marquage
initial, il existe une séquence S de franchissement qui ramène au marquage
initial : Quel que soit le marquage M de *M0, il existe une séquence S qui
ramène au marquage initial M0.
 

55
 III Propriétés des RdP

Exemples: Pour Chacun des marquages suivants, déterminer si le RdP est

propre ou non.

56
 III Propriétés des RdP

5. Parallélisme
Soit le RdP suivant:

57
 III Propriétés des RdP

Nous remarquons qu’après le franchissement de T1 et jusqu’au

franchissement de T5, nous avons des évolutions en parallèle, de la place P1
à la place P4 d’une part et de la place P2 à la place P5 d’autre part.

58
 III Propriétés des RdP
Synchronisation
considérons le RdP précèdent.
Bien que les places P5 et P4 peuvent être marquées l’une avant l’autre, le
franchissement de T5 ne peut s’effectuer que lorsque les deux places P4 et
P5 sont marquées toutes les deux ce qui correspond au fait que la poursuite
de l’évolution ne peut s’effectuer que lorsque les deux évolutions à savoir de
P2 à P4 et celle de P3 à P5 sont terminées.

59
 III Propriétés des RdP

Synchronisation par sémaphore

60
 III Propriétés des RdP

Conflit:
Deux transitions sont en conflit lorsqu’elles possèdent une place d’entrée
commune.

On parlera d’un conflit effectif entre deux transitions en conflit structurel si il

existe un marquage qui sensibilise les deux transitions et que le
franchissement d’une transition empêche le franchissement de l’autre: une
seule transition sera franchie, mais rien dans le réseau ne permet de prévoir
laquelle

61
 III Propriétés des RdP

Exemple:

62
 III Propriétés des RdP

Exclusion Mutuelle
Deux places sont mutuellement exclusives si pour un marquage initial M0
donné, elles ne peuvent pas être simultanément marquées quelque soit le
marquage M atteint à partir de M0.

63
 III Propriétés des RdP

Mémorisation
La place P2 du RdP suivant mémorise le fait que la transition T1 a été
franchie, ce qui autorise le franchissement de T2.

64
III Propriétés des RdP

65
 III Propriétés des RdP

1. Modéliser les machines avec leurs stocks tampons, on tiendra compte

des capacités unitaires de ce tampons.
2. modéliser le stock S en tenant compte de sa capacité limitée
3. Modéliser les transports, par le robot manipulateur, entre les tampons
des machines et S.
4. Intégrer le manipulateur dans le modèle global

66