Les Réseaux de Petri

2ème année cycle d’ingénieurs

Filière : Génie Industrielle

Pr. HIHI Hicham

Université Sidi Mohamed Ben Abdellah
École Nationale des Sciences Appliquées de Fès
Département Génie Industriel
hicham.hihi@usmba.ac.ma

Plan
Ce cours se compose des parties principales suivantes:
1. Introduction aux Réseaux de Petri
2. Formalisation du modèle
3. Marquage
4. Méthodologie de modélisation
5. RdP autonome et non autonome
6. Réseaux de Petri particuliers
7. Propriétés des Réseaux de Petri
8. Etude des propriétés par l’Algèbre linéaire
9. Vérification de propriétés
10. Analyse formelle : Analyse structurelle des RdPs
11. Analyse par réduction
12. Etude des transformations
13. Structures fondamentales pour la modélisation
14. Quelques extensions. 2

1
 Introduction
aux Réseaux de Petri

05/10/2022 H. HIHI 3

Introduction aux réseaux de Petri

q Introduction
Ø Les systèmes technologiques qui ont envahi notre vie quotidien sont l’œuvre
des ingénieurs.
Ø Pour ce dernier, se posent alors plusieurs problèmes importants :

- Comment réussir à appréhender le comportement de ces systèmes afin de les

concevoir, les réaliser et les commander ?

Ø La description du comportement attendu du système constitue donc, le

cahier des charges.
Ø En effet, le comportement global résultant dépond des activités et des
données locales, mais également des messages envoyés et reçus par les
différents équipements connectés.
05/10/2022 H. HIHI 4

2
 Introduction aux réseaux de Petri
q Introduction
Ø En conséquence, l’analyse et la réalisation de tels systèmes devront inclure
ces deux aspects: les traitement propres et les traitement découlant des
communications
Ø En effet, la complexité de plus en plus forte des systèmes technologiques
d’aujourd’hui, en raison de :
a. La définition du comportement par différents intervenants, intéressés par des
aspects fonctionnels d’un produit, et qui n’est pas obligatoirement le même ;
b. Des besoins du consommateur;
c. Des contraintes de coût et du marketing,…,etc
nécessite une bonne compréhension, et un besoin d’exprimer et de valider ce
comportement qui constitue dans la plupart des cas un vrai problème.
05/10/2022 H. HIHI 5

Introduction aux réseaux de Petri

q Introduction (La conception)
Afin de s’assurer de la maitrise du système en cours de réalisation, Il est
indispensable de disposer de :
1. Méthodes et/ou approches de modélisation et de conception, qui
permettent d’abord, d’expliciter précisément son comportement, et ensuite
de l’analyser;
- Une telle approche devra reposer sur une technique de représentation formelle,
afin, d’une part, de construire un modèle mathématique du fonctionnement conçu,
et d’autre part, de permettre l’analyse de ce modèle et de son comportement.

2. Outils efficaces et Langages adaptés pour la réalisation du système

conçu et validé par l’approche choisie.

05/10/2022 H. HIHI 6

3
 Introduction aux réseaux de Petri
q Introduction (choix)
Ø Plusieurs approches de modélisation existent et chaque approche possède
ses propres caractéristiques, + ou - pertinentes dans une conception donnée.
Ø C.à.d. que le choix dépendra du système conçu et des propriétés à analyser.
Ø Les approches seront utilisées pour produire, décrire et valider la conception
et pour préciser la satisfaction des objectifs atteints.
Ø Dans ce cours, l’objectif est de présenter la modélisation par RdPs.
Ø Les RdPs 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.

05/10/2022 H. HIHI 7

Introduction aux réseaux de Petri

q Introduction (choix)
Ø Ce cours est consacré à l'utilisation des RdPs pour la spécification, la
modélisation, la conception, l’amélioration et l'évaluation et l’analyse
des performances des systèmes étudiés.

Ø La première partie nous conduit à sélectionner dans l'univers des RdPs

l'aspect le plus simple et le plus rencontré.

Ø Nous allons, notamment, se focaliser sur les RdPs élémentaires qui

ont l'avantage de posséder des propriétés analytiques qui permettent
dans de nombreux cas, de dégager les propriétés du système étudié
sans passer par la simulation.
05/10/2022 H. HIHI 8

4
 Introduction aux réseaux de Petri
q Historique
Ø Les RdPs sont apparus en 1962, dans la thèse de Carl Adam Petri afin de
modéliser la composition et la communication entre automates;

Ø Leurs améliorations ont porté sur tous les différents aspects et concepts liés à
la modélisation des comportements parallèles et distribués, et en particulier,
de leurs aspects temporels, stochastiques et hybrides.

Ø Le premier modèle, appelé Réseau de Petri conditions-événement, reposait

sur l’utilisation des valeurs booliennes (vrai ou faux).

Ø Ce modèle a été généralisé par les Réseaux de Petri Place-Transition, qui

manipulent des nombres entiers.

05/10/2022 H. HIHI 9

Introduction aux réseaux de Petri

q Historique
Ø Un RdP, connu donc comme un Réseau de Place/Transition ou Réseau
de P/T), est un modèle mathématique, mais aussi graphique, servant à
représenter divers systèmes (informatiques, industriels…) travaillant sur
des variables discrètes.

Ø Autrement, les RdPs P/T sont des outils graphiques et

mathématiques permettant de modéliser le comportement
dynamique des systèmes SED.

Ø Domaines d’applications : les systèmes manufacturiers, les systèmes de

télécommunications, les réseaux de transport…etc.

05/10/2022 H. HIHI 10

5
 Introduction aux réseaux de Petri
q Exemples :
Température
Transports

Débit
Position

05/10/2022 H. HIHI 11

Introduction aux réseaux de Petri

q Thèse de Carl Adam Petri
n Un système global peut être représenté par plusieurs sous systèmes.
Ø Changements d'états internes
Ø Communications entre les sous-systèmes
n Solution: l’utilisation d’un RdP représenté graphiquement par un graph
orienté avec deux types de nœuds/sommets différents:
Ø Les places, notées graphiquement par des cercles représentant les états.

Ø Les transitions, notées par des barres ou des Nombre fini

et non nul
rectangles représentant le changement d'états

Machines à états
ou Automates
Un RdP est un graphe biparti 12

6
 Introduction aux réseaux de Petri
q Thèse de Carl Adam Petri
Ces différents sommets sont reliés entre eux par des flèches/arcs qui joignent
des places aux transitions et des transitions aux places. A cela s’ajoute des
jetons distribués dans les places et qui représentent l’état actuel du système.

n Franchissement d’une transition

Ø Chaque place peut contenir un nombre de jetons

Ø Le franchissement d’une transition (ou tir) :

• Consomme un(des) jeton(s) dans la(les) place(s) entrante(s)

• Produit un(des) jeton(s) dans la(les) place(s) sortante(s)

• Le franchissement d’une transition ne peut se faire que si la place

entrante contient suffisamment de jetons
05/10/2022 H. HIHI 13

Introduction aux réseaux de Petri

q Consommation de jetons
n Pré-conditions de franchissement:
Le franchissement d’une transition peut nécessiter

Ø La consommation de jetons en provenance de plusieurs places,

Ø La consommation de plusieurs jetons en provenance d’une place.

Exemple

05/10/2022 H. HIHI 14

7
 Introduction aux réseaux de Petri
q Production de jetons
n Post-conditions de franchissement:
Le franchissement d’une transition peut entrainer

Ø La création de jetons dans plusieurs places,

Ø La création de plusieurs jetons dans une place.

Exemple

05/10/2022 H. HIHI 15

Formalisation du modèle

16

8
 Formalisation du modèle
q Réseau Place/Transition
Les Réseaux de Petri constituent un modèle formel. A ce titre il convient
d'en donner la définition de manière rigoureuse.
Définition 1: On appelle Réseau de Petri le quadruplet
R=(P; T; Pre; Post) ou N= (P;T; Entree; Sortie)
§P est un ensemble fini de places P = {p1, p2,…,pn}.
§T est un ensemble fini de transitions T = {t1, t2 ,…, tm}.
§Entree (ou Pre): T * P→N est la fonction de pré-condition ou
d’incidence avant.
§ Sortie (ou Post): T*P→N est la fonction de post-condition ou
d’incidence arrière.
05/10/2022 H. HIHI 17

Formalisation du modèle
q Fonction d’incidence avant
Définition 2
Soit p Î P et t Î T.
Entree(p; t) = nombre de jetons consommés de p au franchissement de t

Exemple

Entree(p0; t) = 1
Entree(p1; t) = 2
Entree(p2; t) = Entree(p3; t) = 0

05/10/2022 H. HIHI 18

9
 Formalisation du modèle
q Fonction d’incidence arrière
Définition 3
Soit p Î P et t Î T.
Sortie(p; t) = nombre de jetons produits dans p au franchissement de t.

Exemple

Sortie(p2; t) = 1
Sortie(p3; t) = 2
Sortie(p0; t) = Sortie(p1; t) = 0

05/10/2022 H. HIHI 19

Formalisation du modèle
n Représentation matricielle
Représentation matricielle de Entree (ou Pre) et de Sortie (ou Post)
t1 t2….. tn
o Lignes : places
p1

p2
…
pn

o Colonnes : transitions

t1 t2….. tn
p1

p2
…
pn
05/10/2022 H. HIHI 20

10
 Formalisation du modèle
n Représentation matricielle
Représentation matricielle de Entree (ou Pre) et de Sortie (ou Post)
Exemple

05/10/2022 H. HIHI 21

Formalisation du modèle
n Places et transitions d’entrée et de sortie
Pour 2 places p; p’ÎP et 2 transitions t; t’ÎT

§ Places d’entrée et de sortie

- p est une place d’entrée de t ssi Entree(p; t) > 0
- p’ est une place de sortie de t’ ssi Sortie(p’; t’) > 0
§ Transitions d’entrée et de sortie
- t’ est une transition d’entrée de p’ ssi Sortie(p’; t’) > 0
- t est une transition de sortie de p ssi Entree(p; t) > 0

05/10/2022 H. HIHI 22

11
 Marquage

23

Marquage
q Définition d’un marquage
On appelle marquage d'un Réseau de Petri R=(P; T; Pre; Post) la fonction
M : P [ N.
Le marquage peut être représenté par un vecteur
M=(m(p1),m(p2),… ,m(pn))

On appelle Réseau marqué tout couple (R; M0) où R est un Réseau de Petri et
M0 un marquage appelé marquage initial.

Pour p, m(p) représente le nombre de marques ou de jetons dans la place p.

Le marquage est représenté par des points noirs à l'intérieur de la place.

Une place contient n jetons, cela signifie par exemple la disponibilité de n

ressources.
H. HIHI 24

12
 Marquage
q Définition d’un marquage
Le marquage à un certain instant définit l’état du système décrit par le
RdP

Exemple 1

Évolution Évolution
d’état du marquage

Exemple 2

H. HIHI 25

Marquage
q Définition d’un marquage
Le marquage à un certain instant définit l’état du système décrit par le
RdP

Exemple 3

Évolution Évolution
d’état du marquage

Fig. RdP marqué M=(1,0,0,0,0,0)

05/10/2022 H. HIHI 26

13
 Marquage
q Franchissement (Sensibilisation) d'une transition
Ø Transition validée : une transition est dite validée si toutes les places
en amont ( i.e., en entrée) de celle-ci possèdent au moins une marque.

Validée Non Validée

05/10/2022 H. HIHI 27

Marquage
q Franchissement (Sensibilisation) d'une transition
Ø Franchissement (tir) : si la transition est validée, on peut effectuer le
franchissement de cette transition.
Ø Le franchissement consiste à :
- retirer une marque dans chacune des places en entrée de la transition
- ajouter une marque à chacune des places en sortie

05/10/2022 H. HIHI 28

14
 Marquage
q Franchissement (Sensibilisation) d'une transition
Ø Autrement,
Une transition est franchissable (sensible) lorsque toutes les places qui
lui sont en amont (ou toutes les places d'entrée de la transition)
contiennent au moins un jeton.

t1 t1 t1

05/10/2022 H. HIHI 29

Marquage
q Franchissement (Sensibilisation) d'une transition
Ø Une transition franchissable n'est pas forcément immédiatement
franchie.
Ø Une transition sans place d'entrée est toujours franchissable : c'est une
transition source.
Ø Le franchissement d'une transition source consiste à rajouter un jeton
à chacune de ses places de sortie.
Ø Une transition sans place de sortie est une transition puits.

Transition source Transition puit

05/10/2022 H. HIHI 30

15
 Marquage
q Franchissement (Sensibilisation) d'une transition
Exemple
Pour les quatre situations ci-dessous, compléter le marquage du réseau
après franchissement de T1 s’il est possible,

05/10/2022 H. HIHI 31

Marquage
q Franchissement (Sensibilisation) d'une transition
L’évolution d’un RdP se fait par le franchissement d’une seule transition
à la fois.

Quand plusieurs transitions sont

simultanément franchissables, on ne
peut pas savoir dans quel ordre elles
seront effectivement franchies

05/10/2022 H. HIHI 32

16
 Méthodologie de modélisation

33

Méthodologie de modélisation
1) Identifier les activités et les ressources demandées pour la production
d'un exemplaire de chaque produit.
2) Établir un ordre sur les activités
3) Pour chaque activité,
a) créer une place pour représenter l'état de cette activité;
b) ajouter une transition qui représente le début de l'activité;
c) ajouter une transition de sortie qui représente la fin de l'activité.
En général, la transition qui représente la fin de l'activité représente
aussi le début de l'activité prochaine.
4) Créer une place pour chaque ressource qui doit être disponible pour
commencer l'activité, relier cette place (par des arcs) à la transition
qui représente le début de l'activité. Et créer des arcs de sortie pour
relier la transition modélisant les ressources de sortie à rendre des
ressources disponibles.
5) Spécifier le marquage initial du système. 34

17
 Méthodologie de modélisation
q Exemple
Ø Considérons un simple système de production composé de deux
machines M1 et M2 et d'un rebot R (ressource commune aux 2
machines) qui permettra de charger et de décharger les machines.

Ø Le système produit 2 pièces A et B, La pièces A est fabriquée par M1

et la pièces B par la machine M2 sans qu'il n'y ait de relation
antérieure entre elles.

1- Activités: Chargement, déchargement

et fabrication des pièces par les machines.

2- Ressources: Machines, robot, pièces A et B.

05/10/2022 H. HIHI 35

Méthodologie de modélisation
q Exemple
1- Ordre sur les activités:

Chargement de pièce A sur M1 par le robot

Pièce A: Fabrication de A sur M1

Déchargement de A par le robot R

Même chose pour B

05/10/2022 H. HIHI 36

18
 Méthodologie de modélisation
q Exemple

t1 t5

Chargement de A Chargement de B

t2 t6

Fabrication A Fabrication B

t3 t7

Déchargement de A Déchargement de B

t4 t8

05/10/2022 H. HIHI 37

Méthodologie de modélisation
q Exemple

Disponibilité de A Disponibilité de B

t1 t5
Disp R

t2 t6
Fabrication

t3 t7

t4
t8

05/10/2022 H. HIHI 38

19
 Méthodologie de modélisation
q Exemple
Modéliser par RdP le système de production décrit ci-dessous.
Le système est composé de deux machines différentes, d'un robot et
d'une aire de stockage, chaque pièce provenant du stock est traité par la
machine M1 puis par la machine M2, pour fabriquer un produit final.
- Le robot est utilisé pour décharger les deux machines.
- L'aire de stock est utilisée pour emmagasiner les pièces intermédiaires.
- Les deux machines s'auto-chargent à partir du stock d'entrée et de l'aire
de stockage intermédiaire, respectivement, une machine qui a déjà
entamé un travail ne peut pas être interrompue jusqu’à ce que ce travail
soit achevé. H. HIHI 39

Méthodologie de modélisation
q Exemple

M1 M2

STk1 CH DECH STk INT CH DECH

Robot

05/10/2022 H. HIHI 40

20
 RdP autonome et non autonome

41

RdP autonome et non autonome

q Notion de RdP autonome et non autonome
RdP autonome décrit le fonctionnement d’un système de façon
autonome, c’est-à-dire dont l’évolution est régi par ses propres lois (les
instants de franchissement ne sont pas connus ou pas indiqués)

Fig. RdP autonome (les quatre saisons)

05/10/2022 H. HIHI 42

21
 RdP autonome et non autonome
q Notion de RdP autonome et non autonome
RdP non autonome décrit le fonctionnement d’un système dont
l’évolution est conditionnée par des événements externes.

Ordre de démarrage
T1
P1 P2
Etat d’arrêt Etat de marche

T2
Ordre d’arrêt

Fig. RdP non autonome

05/10/2022 H. HIHI 43

RdP autonome et non autonome

q Exemples de RdP
L’état du système est caractérisé par :
§ Le nombre n1 à l’instant initial (nombre de marques dans la place p1).
§ Le nombre n2 à l’instant initial (nombre de marques dans la place p2).
§ Le résultat de l’opérateur à l’instant final (nombre de marques dans la
place P3).

Opération sur deux entiers naturels

05/10/2022 H. HIHI 44

22
 Réseaux de Petri
particuliers

45

Réseaux de Petri particuliers

q Structures particulières
Graphe d'états: Un RdP non marqué est un graphe d'état si et seulement
si toute transition a exactement une seule place d'entrée et une seule
place de sortie.

Graphe d’états non marqué ou pas Graphe d’états marqué

05/10/2022 H. HIHI 46

23
 Réseaux de Petri particuliers
q Structures particulières
Graphe d'événements: Un RdP est un graphe d'événements si et
seulement si chaque place possède exactement une seule transition
d'entrée et une seule transition de sortie.

05/10/2022 H. HIHI 47

Réseaux de Petri particuliers

q Structures particulières
Graph sans conflit: Un RdP sans conflit (ou conflit structurel) est un
réseau dans lequel chaque place a au plus une transition de sortie.

Sans conflit Avec conflit

05/10/2022 H. HIHI 48

24
 Réseaux de Petri particuliers
q Structures particulières
À choix libre: Il existe deux définitions, qui sont distinguées par les
appellations choix libre et choix libre étendu.
Un RdP à choix libre est un RdP dans lequel pour tout conflit
<P1,{T1,T2…}> aucune des transitions T1, T2… ne possède une autre
place d’entrée que P1.

Un RdP à choix libre étendu est tel que pour tout conflit <P1,{T1,T2…}>
toutes les transitions {T1, T2…} ont le même ensemble de Places
d'entrées. C'est-à-dire que si T1 a pour places d'entrées P1 et P2, alors T2 a
pour place d'entrées P1 et P2.
05/10/2022 H. HIHI 49

Réseaux de Petri particuliers

q Structures particulières
Autrement
RdP à choix libre: un RdP est dit à choix libre si et seulement si les
transitions de sortie de tous ses conflits n’admettent qu’une seule place
d’entrée.

Choix libre ou pas

05/10/2022 H. HIHI 50

25
 Réseaux de Petri particuliers
q Structures particulières
Autrement
RdP à choix libre étendu: un RdP est dit à choix libre étendu si et
seulement si les transitions de sortie de celui-ci admettent les mêmes
places d’entrée.

Fig. choix libre étendu ou pas

05/10/2022 H. HIHI 51

Réseaux de Petri particuliers

q Structures particulières
Réseau de Petri simple: C'est un réseau de Petri dans lequel chaque
transition ne peut être concernée que par un conflit au plus.

RdP
qui n’est pas simple

Autrement, un RdP est dit simple si et seulement si toutes ses

transitions n’interviennent que dans un seul conflit au maximum.

05/10/2022 H. HIHI 52

26
 Réseaux de Petri particuliers
q Structures particulières
RdP pur: Un réseau de Petri est dit pur si et seulement s’il n’existe pas
de transition ayant une place d’entrée qui est aussi place de sortie.

Fig. RdP impur

Propriété : Tout RdP impur peut être transformé en un RdP pur.

Fig. Transformation d’un réseau impur en un réseau pur

05/10/2022 H. HIHI 53

Réseaux de Petri particuliers

q Structures particulières

05/10/2022 H. HIHI 54

27
 Réseaux de Petri particuliers
q Structures particulières

05/10/2022 H. HIHI 55

Réseaux de Petri particuliers

q Structures particulières
Extensions
Un Rdp généralisé est un RdP dans lequel des poids sont associés aux
arcs.
Tout réseau de Petri généralisé peut être transformé en RdP ordinaire.
Malheureusement ce type de transformation bien que possible, engendre
souvent une grande complexité

05/10/2022 56

28
 Réseaux de Petri particuliers
q Structures particulières
Réseau de Petri à capacité: est un RdP dans lequel des capacités 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 (Marques) dans Pi qui est plus grand que Cap(Pi).

Propriété: Tout réseau de Petri à capacité peut être transformée en un

RdP ordinaire.

05/10/2022 H. HIHI 57

Réseaux de Petri particuliers

q Structures particulières

05/10/2022 H. HIHI 58

29
 Réseaux de Petri particuliers
q Structures particulières
Les Réseaux de Petri colorés comportent des marques auxquelles on
attribue des couleurs.
Ils constituent une classe de réseaux dont la perception intuitive est
moins évidente que pour les RdP généralisés et les RdP à capacité.
Ils présentent un grand intérêt pour modéliser certains systèmes
complexes.

05/10/2022 H. HIHI 59

Réseaux de Petri particuliers

q Structures particulières

05/10/2022 H. HIHI 60

30
 Réseaux de Petri particuliers
q Structures particulières
Les RdP à arcs inhibiteurs: Un arc inhibiteur est un arc orienté qui part
d'une place pour aboutir à une transition. Son extrémité est marquée par
un petit cercle.
La présence d'un arc inhibiteur entre une place Pi et une transition Tj
signifie que la transition Tj n'est validée que si la place Pi ne contient
aucun jeton.
Le franchissement de la transition Tj consiste à retirer un jeton dans
chaque place située en amont de la transition à l'exception de la place Pi,
et à ajouter un jeton dans chaque place située en aval de la transition.

05/10/2022 H. HIHI 61

Réseaux de Petri particuliers

q Structures particulières
Les RdP à arcs inhibiteurs

05/10/2022 H. HIHI 62

31
 Réseaux de Petri particuliers
q Exemple
Une administration fait entrer des clients puis ferme la porte d’entrée
avant de commencer le service. Au fur et à mesure qu’ils sont servis les
clients sortent par une autre porte. La porte d’entrée ne sera rouverte que
lorsque tous les clients qui étaient entrés seront sortis.

- Le RdP correspondant.

05/10/2022 H. HIHI 63

Propriétés des Réseaux de Petri

65

32
 Propriétés des Réseaux de Petri
Dans cette section, on considère des réseaux de petri ordinaires. Lorsque
l'on souhaite mentionner des propriétés à une classe plus large, on le
précise.
n Notation et définitions

05/10/2022 H. HIHI 65

Propriétés des Réseaux de Petri

n Notation et définitions
Pour le marquage M0, il y a la transition T1 qui est validée.

Le franchissement de la transition T1 à partir

de M0 conduit au marquage M1= (0,1,1,0,0).

On notera ceci: M0[T1>M1

05/10/2022 H. HIHI 66

33
 Propriétés des Réseaux de Petri
n Notation et définitions

M0= (1,0,0,0,0).
M0[T1>M1
M1= (0,1,1,0,0).

M1[T2>M2=(0,0,1,1,0)

M1 [T3>M3=(0,1,0,0,1)

M2 [T3>M4=(0,0,0,1,1)
M3 [T2>M4=(0,0,0,1,1)

05/10/2022 H. HIHI 67

Propriétés des Réseaux de Petri

n Notation et définitions

Fig. Marquages accessibles d’un RdP

05/10/2022 H. HIHI 68

34
 Propriétés des Réseaux de Petri
n Notation et définitions
On note : *M0={M0, M1, M2, M3, M4} l’ensemble des marquages
accessibles à partir de M0.
Séquence de franchissements: elle est définie à partir d’un marquage
donné.
C’est une suite de transitions qui sont franchissables successivement.
Ex. S= T1T2 et M0[S>M2

05/10/2022 Notation des séquences de franchissements 69

Propriétés des Réseaux de Petri

n Notation et définitions
Couverture: un marquage Mk couvre un marquage M1 si le marquage de
chaque place Pi dans Mk est supérieur ou égale à son marquage dans M1.

On dit qu’un marquage Mk est supérieur à un marquage M1 (ou couvre

strictement M1) si Mk couvre M1, avec au moins une place Pi telle que
Mk(Pi)> M1(Pi)

05/10/2022 H. HIHI 70

35
 Propriétés des Réseaux de Petri
n Notation et définitions
Ø Réseau de Petri borné

- Une place Pi est dite bornée pour un marquage initial M0 s'il existe un
entier naturel k, tel que pour tout marquage accessible à partir de M0, le
nombre de marquage dans Pi est inférieur ou égale à k.

- Un réseau de Petri est borné pour un marquage initial M0 si toutes les

places sont bornées pour M0. Il est k-borné si elles sont k-bornées.

Fig. RdP non borné Fig. RdP borné

05/10/2022 H. HIHI 71

Propriétés des Réseaux de Petri

n Notation et définitions
Ø Réseau de Petri sauf

- RdP marqué est dit sauf ou binaire pour un marquage initial M0 si pour
tout marquage accessible, chaque place contient au plus une marque,
Autrement, s’il est 1-borné.

05/10/2022 H. HIHI 72

36
 Propriétés des Réseaux de Petri
n Notation et définitions

(a): RdP borné (b) RdP Non borné

05/10/2022 H. HIHI 73

37