Qu'est-Ce Que Le Réseau de Petri
Transféré par
lucianorabearimananaQu'est-Ce Que Le Réseau de Petri
Transféré par
lucianorabearimananaUF - ENI Concept de base Réseaux de Pétri
Qu’est-ce que le réseau de Petri
Les réseaux de Petri, inventés par Carl Adam Petri en 1962, regroupent des outils
mathématiques (graphiques) de modélisation du comportement de systèmes
dynamiques à évènements discrets.
Ils permettent de visualiser et d'étudier le comportement et la synchronisation des
systèmes composés de sous-systèmes fonctionnant en parallèle, communiquant et
partageant des ressources.
Deux catégories d’applications des réseaux de Petri
❑ Rdp spécifie le système et constitue le point de départ du cycle de conception. Ces
spécifications permettent des analyses qualitatives et quantitatives du système.
❑ Rdp est utilisé comme structure interne d’un système de contrôle ou d’aide à la
décision.
La modélisation consiste à
❑ Raisonner en termes d’états et de transitions le comportement du système simulant
l’enchaînement d’opérations, les communications et le partage de ressources.
❑ Concevoir des modules d’un système, ainsi que les interactions des ces modules
interconnectés par de nouvelles places et transitions.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Domaines d’application
❑ Systèmes de production (Évaluation des performances, Simulation)
❑ Validation des protocoles de communication
❑ Systèmes temps réel / distribués
❑ Modèles de raisonnement / planification
Propriété d’un modèle d’un processus de production
Les Rdp, selon les modèles qu’ils représentent, permettent de simuler et de vérifier
certaines propriétés :
❑ Activité : Vérifie si le fonctionnement d’une partie ou de tout le système évolue,
caractérise la possibilité qu’une partie ou tout le système n’évolue plus, une fois
qu’un état spécifique est atteint.
❑ Répétitivité : Vérifie s’il y a des séquences qui se répètent dans le
fonctionnement du système.
❑ Vivacité : Vérifie qu’un état du système puisse être atteignable, quel que soit
l’état dans lequel il se trouve.
❑ Concurrence : Vérifie si le passage à un état entraîne la collaboration de deux
ou plusieurs parties du système.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en
entrée) d’une transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1 P2
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1 P2
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
M(P1) = 0 Non franchissable
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1 P2
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
M(P1) > 0 et M(P1) > 0 Franchissable
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1 P2
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1 P2
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
M(P1) > 0 et M(P1) > 0 Franchissable
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1 P2
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1
La transition est dite « franchissable » s’il Franchissable
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
M(P1) > 0
P2 P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Un Réseau de Pétri (Rdp) est un graphe avec trois objets :
❑ La place (cercle), qui représente l’état du système ; P1 P1 est en amont ou
❑ La transition (trait ou rectangle) qui représente une entrée de T1
l’événement modificateur de l’état du système ; T1
❑ L’arc qui assure la liaison d'une place vers une P2 est en aval ou
transition ou d'une transition vers une place. P2 une sortie de T2
Rdp marqué
Lampe allumée
Le marquage est la présence ou la réalisation
d’une condition. Une place marquée signifie que Eteindre Allumer
la condition exprimée par cette place est vérifiée
Lampe éteinte
Franchissement d’une transition
P1
La transition est dite « franchissable » s’il
existe suffisamment de jetons à l’amont (en T1
entrée) d’une transition.
P2 P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Exemple
Un atelier possède une machine et un
stock. Quand une commande arrive et
que la machine est disponible, la
commande peut être traitée.
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.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Exemple T1 Arrivée d’une pièce
P1 Machine libre
Stock des pièces
P2
Un atelier possède une machine et un avant traitement
stock. Quand une commande arrive et
que la machine est disponible, la T2 Début du traitement
commande peut être traitée.
P3 Machine occupée
Une fois le traitement terminé, la
commande qui a été traitée est
T3 Fin du traitement
stockée. Sinon, la commande doit
attendre que la machine se libère. P2 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Exemple T1 Arrivée d’une pièce
P1 Machine libre
Stock des pièces
P2
Un atelier possède une machine et un avant traitement
stock. Quand une commande arrive et
que la machine est disponible, la T2 Début du traitement
commande peut être traitée.
P3 Machine occupée
Une fois le traitement terminé, la
commande qui a été traitée est
T3 Fin du traitement
stockée. Sinon, la commande doit
attendre que la machine se libère. P2 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Exemple T1 Arrivée d’une pièce
P1 Machine libre
Stock des pièces
P2
Un atelier possède une machine et un avant traitement
stock. Quand une commande arrive et
que la machine est disponible, la T2 Début du traitement
commande peut être traitée.
P3 Machine occupée
Une fois le traitement terminé, la
commande qui a été traitée est
T3 Fin du traitement
stockée. Sinon, la commande doit
attendre que la machine se libère. P2 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Exemple T1 Arrivée d’une pièce
P1 Machine libre
Stock des pièces
P2
Un atelier possède une machine et un avant traitement
stock. Quand une commande arrive et
que la machine est disponible, la T2 Début du traitement
commande peut être traitée.
P3 Machine occupée
Une fois le traitement terminé, la
commande qui a été traitée est
T3 Fin du traitement
stockée. Sinon, la commande doit
attendre que la machine se libère. P2 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Franchissement des transitions spéciales (Source et Puits)
Une transition source est une transition qui Source
ne comporte aucune place d’entrée ; c’est P1
une transition toujours franchissable Puits
P3
Une transition puits est une transition qui ne T1
comporte aucune place de sortie ; son
P2
franchissement enlève des jetons de toutes T2 T3
les places d’entrée de la transition.
Exemple T1 Arrivée d’une pièce
P1 Machine libre
Stock des pièces
P2
Un atelier possède une machine et un avant traitement
stock. Quand une commande arrive et
que la machine est disponible, la T2 Début du traitement
commande peut être traitée.
P3 Machine occupée
Une fois le traitement terminé, la
commande qui a été traitée est
T3 Fin du traitement
stockée. Sinon, la commande doit
attendre que la machine se libère. P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Définition algébrique d’un Rdp
On appelle Réseau de Petri le quadriplet R = (P, T, Pre, Post) où
❑ P est un ensemble fini de place : P = {P1, P2, …, Pn)
❑ T est un ensemble fini de transition : T = {T1, T2, …, Tm)
❑ Pre (Entrée) est une fonction de pré-condition ou d’incidence avant : P*T → N
❑ Post (Sortie) est une fonction de post-condition ou d’incidence arrière : T*P → N
P2 Pre (P1, T1) = 2 Pre (P2, T1) = 0
Pre (P1, T2) = 1 Pre (P2, T2) = 6
Pre (P1, T3) = 0 Pre (P2, T3) = 4
7 4 Post (P1, T1) = 2 Post (P2, T1) = 0
6 3
Post (P1, T2) = 1 Post (P2, T2) = 6
T1 T3 Post (P1, T3) = 0 Post (P2, T3) = 4
T2
5 T1 T2 T3 T1 T2 T 3
2
2 1 0 P1 5 0 1 P1
Pr e = Post =
0 6 4 P2 7 3 0 P
2
P1
Matrice d’incidence avant Matrice d’incidence arrière
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Définition algébrique d’un Rdp
On appelle Réseau de Petri le quadriplet R = (P, T, Pre, Post) où
❑ P est un ensemble fini de place : P = {P1, P2, …, Pn)
❑ T est un ensemble fini de transition : T = {T1, T2, …, Tm)
❑ Pre (Entrée) est une fonction de pré-condition ou d’incidence avant : P*T → N
❑ Post (Sortie) est une fonction de post-condition ou d’incidence arrière : T*P → N
P2 Matrice
d’incidence
Post Pre
7 4 5 0 1 2 1 0 3 -1 1
6 3 =
T1
7 3 0 0 6 4 7 -3 -4
T3
T2
5 T1 T2 T3 T1 T2 T 3
2
2 1 0 P1 5 0 1 P1
Pr e = Post =
0 6 4 P2 7 3 0 P
2
P1
Matrice d’incidence avant Matrice d’incidence arrière
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2
P3 P4
T3 T4
P5 P6
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
P3 P4
T3 T4
P5 P6
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 0, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 0, 0)
T3 : M3(T3>M4 = (0, 0, 0, 1, 2, 0, 0)
P5 P6 T4 : M4(T4>M5 = (0, 0, 0, 0, 2, 1, 0)
T5 : M5(T5>M6 = (0, 0, 0, 0, 1, 0, 1)
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 0, 0)
T3 : M3(T3>M4 = (0, 0, 0, 1, 2, 0, 0)
P5 P6 T4 : M4(T4>M5 = (0, 0, 0, 0, 2, 1, 0)
T5 : M5(T5>M6 = (0, 0, 0, 0, 1, 0, 1)
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T3 : M3(T3>M4 = (0, 0, 0, 1, 2, 0, 0)
P5 P6 T4 : M4(T4>M5 = (0, 0, 0, 0, 2, 1, 0)
T5 : M5(T5>M6 = (0, 0, 0, 0, 1, 0, 1)
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T4 : M4(T4>M5 = (0, 0, 0, 0, 2, 1, 0)
T5 : M5(T5>M6 = (0, 0, 0, 0, 1, 0, 1)
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T5 : M5(T5>M6 = (0, 0, 0, 0, 1, 0, 1)
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5 Post Pre Matrice d’incidence
T1 T2 T3 T4 T 5 T6 T1 T2 T3 T4 T5 T6 T1 T2 T3 T4 T5 T6
P7
P1 0 0 0 0 0 1 P1 1 0 0 0 0 0 P1 -1 0 0 0 0 1
P2 1 0 0 0 0 0 P2 0 1 0 0 0 0 P2 1 -1 0 0 0 0
P3 0 1 0 0 0 0 P3 0 0 1 0 0 1 P3 0 1 -1 0 0 -1
P4 0 1 0 0 0 0 P4 0 0 0 1 0 0 P4 0 1 0 -1 0 0
P5 0 0 1 0 0 0 P5 0 0 0 0 1 0 P5 0 0 1 0 -1 0
P6 0 0 0 1 0 0 P6 0 0 0 0 1 0 P6 0 0 0 1 -1 0
P7 0 0 0 0 1 0 P7 0 0 0 0 0 1 P7 0 0 0 0 1 -1
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M2) S = T1T2T3T4T5T6T1T2T4 ST = (1,1,0,0,0,0)
P7
1 -1 0 0 0 0 1 0
0 1 -1 0 0 0 0 1 0
1 0 1 -1 0 0 -1 1 2
0
0 + 0 1 0 -1 0 0 X 0 = 1
0 0 0 1 0 -1 0 0 0
2 0 0 0 1 -1 0 0 2
0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M3) S = T1T2T3T4T5T6T1T2T4 ST = (1,1,1,0,0,0)
P7
1 -1 0 0 0 0 1 0
0 1 -1 0 0 0 0 1 0
1 0 1 -1 0 0 -1 1 1
1
0 + 0 1 0 -1 0 0 X 0 = 1
0 0 0 1 0 -1 0 0 1
2 0 0 0 1 -1 0 0 2
0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M4) S = T1T2T3T4T5T6T1T2T4 ST = (1,1,1,1,0,0)
P7
1 -1 0 0 0 0 1 0
0 1 -1 0 0 0 0 1 0
1 0 1 -1 0 0 -1 1 1
1
0 + 0 1 0 -1 0 0 X 1 = 0
0 0 0 1 0 -1 0 0 1
2 0 0 0 1 -1 0 0 3
0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M6) S = T1T2T3T4T5T6T1T2T4 ST = (1,1,1,1,1,1)
P7
1 -1 0 0 0 0 1 1
0 1 -1 0 0 0 0 1 0
1 0 1 -1 0 0 -1 1 0
1
0 + 0 1 0 -1 0 0 X 1 = 0
0 0 0 1 0 -1 0 1 0
2 0 0 0 1 -1 0 1 2
0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M7) S = T1T2T3T4T5T6T1T2T4 ST = (2,1,1,1,1,1)
P7
1 -1 0 0 0 0 1 0
0 1 -1 0 0 0 0 2 1
T1 : M6(T1>M7 = (0, 1, 0, 0, 0, 2, 0) 1 0 1 -1 0 0 -1 1 0
1
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0) 0 + 0 1 0 -1 0 0 X 1 = 0
0 0 0 1 0 -1 0 1 0
T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0) 2 0 0 0 1 -1 0 1 2
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0) 0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M8) S = T1T2T3T4T5T6T1T2T4 ST = (2,2,1,1,1,1)
P7
1 -1 0 0 0 0 1 0
0 1 -1 0 0 0 0 2 0
T1 : M6(T1>M7 = (0, 1, 0, 0, 0, 2, 0) 1 0 1 -1 0 0 -1 2 1
1
T2 : M1(T2>M8 = (0, 0, 1, 1, 0, 2, 0) 0 + 0 1 0 -1 0 0 X 1 = 1
0 0 0 1 0 -1 0 1 0
T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0) 2 0 0 0 1 -1 0 1 2
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0) 0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Soit un réseau de Petri défini par :
❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
T1
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
P2 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6
T2 Evolution de l’état du système
T1 : M0(T1>M1 = (0, 1, 1, 0, 0, 2, 0)
P3 P4
T2 : M1(T2>M2 = (0, 0, 2, 1, 0, 2, 0)
T3 T4 T3 : M2(T3>M3 = (0, 0, 1, 1, 1, 2, 0)
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0)
P5 P6 T5 : M4(T5>M5 = (0, 0, 1, 0, 0, 2, 1)
T6 : M5(T6>M6 = (1, 0, 0, 0, 0, 2, 0)
T5
M0(S → M9) S = T1T2T3T4T5T6T1T2T4 ST = (2,2,1,2,1,1)
P7
1 -1 0 0 0 0 1 0
0 1 -1 0 0 0 0 2 0
T1 : M6(T1>M7 = (0, 1, 0, 0, 0, 2, 0) 1 0 1 -1 0 0 -1 2 1
1
T2 : M7(T2>M8 = (0, 0, 1, 1, 0, 2, 0) 0 + 0 1 0 -1 0 0 X 2 = 0
0 0 0 1 0 -1 0 1 0
T4 : M8(T3>M9 = (0, 0, 1, 0, 0, 3, 0) 2 0 0 0 1 -1 0 1 3
T4 : M3(T4>M4 = (0, 0, 1, 0, 1, 3, 0) 0 0 0 0 0 1 -1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6 P2 Evolution de l’état du système
T2
M0
P3 P4 1
0
T3 T4 0
0
P5 P6 0
2
0
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6 P2 Evolution de l’état du système
T2
M0 M1
P3 P4 1 0
0 1
T3 T4 0 T1 0
0 0
P5 P6 0 0
2 2
0 0
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
T6 P2 Evolution de l’état du système
T2
M0 M1 M2
P3 P4 1 0 0
0 1 0
T3 T4 0 T1 0 T 1
2
0 0 1
P5 P6 0 0 0
2 2 2
0 0 0
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
M3
T6 P2 Evolution de l’état du système 0
0
T2 0
M0 M1 M2 1
P3 P4 1 0 0 T 1
3
0 1 0 2
T3 T4 0 T1 0 T 2 1 1
0 0 1
P5 P6 0 0 0
2 2 2
0 0 0
T5
P7
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
M3
T6 P2 Evolution de l’état du système 0
0
T2 0
M0 M1 M2 1
P3 P4 1 0 0 T 1
3
0 1 0 2
T3 T4 0 T1 0 T 2 1 1
0 0 1 M4
P5 P6 0 0 0 T4 0
2 2 2 0
1 1 1 1
T5
1
0
P7
2
1
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, T6)
❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M0 = (1, 0, 1, 0, 0, 2, 0)
M3
T6 P2 Evolution de l’état du système 0 0
0 0
T2 0 T5 0
M0 M1 M2 1 1
P3 P4 1 0 0 T 1 1
3
0 1 0 2 2
T3 T4 0 T1 0 T 2 1 1 1
0 0 1 M4
P5 P6 0 0 0 T4 0
2 2 2 0
1 1 1 1
T5
1
0
P7
2
1
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Graphe de marquage
T1
T2
P2 P3 T3 T4
T1
T2 T3
T2
T4
P4 P5
T5
T4 T5 M0(S1 → M4) S1 = T1T3T2 S1T = (1,1,1,0,0)
M0(S2 → M4) S2 = T1T2T4T3T2 S2T = (1,2,1,1,0)
Sortie Entrée W Mk = Mi + W ST
0 0 0 0 1 1 0 0 0 0 − 1 0 0 1
0 1 − 1 0 0 0 1 1 0
1 0 0 1 0 0 1
0 0 0 1 − 1 0 1 0 0 1 − 1 0 1 0 1 0
1 0 0 1 0 − 0 0 1 0 0 = 1 0 −1 0 0 0 + 1 0 − 1 0 0 1 = 0
0 1 0 0 0 0 0 0 1 1 0 1 0 − 1 − 1 0 0 1 0 − 1 − 1 0 1
0 0 1 0 0 0 0 0 0 1 0 0 1 0 − 1 0 0 0 1 0 − 1 0 1
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
P1 Graphe de marquage
T1
T2
P2 P3 T3 T4
T1
T2 T3
T2
T4
P4 P5
T5
T4 T5 M0(S1 → M4) S1 = T1T3T2 S1T = (1,1,1,0,0)
M0(S1 → M4) S2 = T1T2T4T3T2 S2T = (1,2,1,1,0)
Sortie Entrée W Mk = Mi + W ST
0 0 0 0 1 1 0 0 0 0 − 1 0 0 1
0 1 − 1 0 0 0 1 1 0
1 0 0 1 0 0 1
0 0 0 1 − 1 0 1 0 0 1 − 1 0 1 0 2 0
1 0 0 1 0 − 0 0 1 0 0 = 1 0 −1 0 0 0 + 1 0 − 1 0 0 1 = 0
0 1 0 0 0 0 0 0 1 1 0 1 0 − 1 − 1 0 0 1 0 − 1 − 1 1 1
0 0 1 0 0 0 0 0 0 1 0 0 1 0 − 1 0 0 0 1 0 − 1 0 1
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp généralisé
Un rdp généralisé est un rdp dans lequel on
associe à chaque arc « un poids ». Le poids 3 2
implicite d’un arc est 1. La transition qui suit l’arc
ne sera franchissable que si la place possède un
marquage au moins égal au poids de l’arc.
Condition nécessaire pour le franchissement :
M(Pi) ≥ Pre(Pi, Tj)
Le franchissement de Tk conduit au nouveau marquage :
M(Pi) = M(Pi) - Pre(Pi, Tk)
M(Pj) = M(Pj) + Post(Pj, Tk)
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp généralisé
Un rdp généralisé est un rdp dans lequel on
associe à chaque arc « un poids ». Le poids 3 2
implicite d’un arc est 1. La transition qui suit l’arc
ne sera franchissable que si la place possède un
marquage au moins égal au poids de l’arc.
Condition nécessaire pour le franchissement : Non franchissable
M(Pi) ≥ Pre(Pi, Tj)
Le franchissement de Tk conduit au nouveau marquage :
M(Pi) = M(Pi) - Pre(Pi, Tk)
M(Pj) = M(Pj) + Post(Pj, Tk)
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp généralisé
Un rdp généralisé est un rdp dans lequel on
3
associe à chaque arc « un poids ». Le poids
implicite d’un arc est 1. La transition qui suit l’arc 2
ne sera franchissable que si la place possède un
marquage au moins égal au poids de l’arc.
Condition nécessaire pour le franchissement :
M(Pi) ≥ Pre(Pi, Tj)
Le franchissement de Tk conduit au nouveau marquage :
M(Pi) = M(Pi) - Pre(Pi, Tk)
M(Pj) = M(Pj) + Post(Pj, Tk)
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp généralisé
Un rdp généralisé est un rdp dans lequel on
3 3
associe à chaque arc « un poids ». Le poids
implicite d’un arc est 1. La transition qui suit l’arc 2 2
ne sera franchissable que si la place possède un
marquage au moins égal au poids de l’arc.
Condition nécessaire pour le franchissement :
M(Pi) ≥ Pre(Pi, Tj)
Le franchissement de Tk conduit au nouveau marquage :
M(Pi) = M(Pi) - Pre(Pi, Tk)
M(Pj) = M(Pj) + Post(Pj, Tk)
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp généralisé
Un rdp généralisé est un rdp dans lequel on
3 3
associe à chaque arc « un poids ». Le poids
implicite d’un arc est 1. La transition qui suit l’arc 2 2
ne sera franchissable que si la place possède un
marquage au moins égal au poids de l’arc.
Condition nécessaire pour le franchissement :
M(Pi) ≥ Pre(Pi, Tj) 2 2
3 2
Le franchissement de Tk conduit au nouveau marquage :
M(Pi) = M(Pi) - Pre(Pi, Tk)
M(Pj) = M(Pj) + Post(Pj, Tk)
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp généralisé
Un rdp généralisé est un rdp dans lequel on
3 3
associe à chaque arc « un poids ». Le poids
implicite d’un arc est 1. La transition qui suit l’arc 2 2
ne sera franchissable que si la place possède un
marquage au moins égal au poids de l’arc.
Condition nécessaire pour le franchissement :
M(Pi) ≥ Pre(Pi, Tj) 2 2 2 2
3 2 3 2
Le franchissement de Tk conduit au nouveau marquage :
M(Pi) = M(Pi) - Pre(Pi, Tk)
M(Pj) = M(Pj) + Post(Pj, Tk)
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Soit un réseau de Petri défini par :
P1 ❑ Les transitions : T = (T1, T2, T3, T4, T5, t6)
3 ❑ Les places : P = (P1, P2, P3, P4, P5, P6, P7)
T1 ❑ Un marquage initial : M = (1, 0, 1, 0, 0, 2, 0)
Post Pre
T6 P2
0 0 0 0 0 3 1 0 0 0 0 0
2 1 0 0 0 0 0 0 2 0 0 0 0
T2 0
0
1
1
0
0
0
0
0
0
0
0
_ 0
0
0
0
4
0
0
1
0
0
1
0
P3 P4 0 0 1 0 0 0 0 0 0 0 1 0
0 0 0 1 0 0 0 0 0 0 2 0
4
0 0 0 0 2 0 0 0 0 0 0 1
T3 T4
Matrice d’incidence W = Post - Pre
P5 P6 -1 0 0 0 0 3
2 1 -2 0 0 0 0
T5 0 1 -4 0 0 -1
2 0 1 0 -1 0 0
0 0 1 0 -1 0
P7 0 0 0 1 -2 0
0 0 0 0 2 -1
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp avec conflit
Un Rdp est dit « sans conflit » si et seulement si toute place a au P1
plus une transition de sortie. Il y a un « conflit structurel » si
une place est en amont de deux ou plusieurs transitions.
Deux transitions Ti et Tj sont en conflit structurel si : ∃ Pk tel que T1 T2
Pre(Pk,Ti) x Pre(Pk,Tj) ≠ 0. Cette situation de conflit correspond K = <P1, {T1, T2}>
à la concurrence à la consommation des jetons à une place.
Rdp à choix libre
Un Rdp « à 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.
Dans un Rdp, deux transitions Ti et Tj sont en conflit effectif s’il
y a assez de jetons pour que l’une des deux transitions soit
franchie mais pas les deux à la fois. Rdp à choix libre étendu
3 3
Rdp à conflit effectif Rdp à conflit non effectif Rdp à choix non libre
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit P1 P2
Soit un système composé de deux processus A
et B en compétition pour accéder à une unité
de stockage T1 T2
P1 : A en attente T1 : A prend la clef
P2 : B en attente P3 P4 P5
T2 : B prend la clef
P3 : A actif T3 : A rend la clef
P4 : Clef disponible T3 T4
T4 : B rend la clef
P5 : B actif
P1 : A en attente P2 : B en attente P1 P2
P3 : A inactif P4 : A actif
P5 : Clef disponible
P6 : B actif P7 : B inactif T1 T2 T3 T4
T1 : Déclaration d’un besoin
T2 : A prend la clef T3 : B prend la clef P3 P4 P5 P6 P7
T4 : Déclaration d’un besoin
T5 : A rend la clef T6 : B rend la clef T5 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1
P1
P2
T2
P3
T3
P4
T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec conflit
T1 T1
P1 P1
P2 P2
T2 T2
P3 P3
T3 T3
P4 P4
T4 T4
P1 Machine libre T1 Arrivée d’une pièce
P2 Stock des pièces avant traitement T2 Début du traitement
P3 Machine occupée T3 Fin du traitement
P4 Stock des pièces traitées T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp simple
Un rdp est simple si chaque transition ne peut
être concernée que par un seul conflit à la fois.
Rdp simple Rdp non simple
Rdp pur
Un rdp pur est tel qu’il n’existe pas de
transition ayant une place d’entrée qui soit
aussi une place de sortie de cette transition.
Tout rdp impur peut être transformé en rdp pur
en décomposant la transition impure en deux Rdp impur Rdp pur
transitions (td et tf).
D’abord, on substitue à la transition impure T1
deux transitions Td et Tf et une place, dont Td Td
est la transition d’entrée, et Tf la transition de P1 P0
sortie. Ensuite on ajoute P0 dont le rôle est
Tf
d’assurer que les transitions Td et Tf seront
franchies en séquence.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp impur → Rdp pur P1
D’une manière générale, la transformation T1-d
d’un Rdp impur consiste à substituer toute
transition Tj par deux transitions Tj-d et Tj-f P1
avec une place intermédiaire. Ensuite, on
ajoute une place P0, contenant une marque. T1-f
T1
Ainsi le franchissement de Tj est remplacé
P2 P0
par le franchissement en séquence de Tj-d, P2
puis Tj-f. T2-d
T2
Pourquoi est-il nécessaire de transformer un
rdp impur en rdp pur ?
T2-f
T1 T3
P1 P2 P3 T5 1 0 0 0 0 0 1 0 0 0 1 − 1 0 0 0
W = 0 1 0 1 0 − 1 0 1 0 0 = − 1 1 − 1 1 0
T2 T4
0 0 1 0 1 0 0 0 1 1 0 0 1 − 1 0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à capacité
A chaque place est associée une capacité
de marquage maximum. La transition ne
3 3 3
sera franchissable que si la capacité de la
place en sortie de la transition n’est pas Cap(2) Cap(4) Cap(4)
dépassée par le nombre de jetons arrivant
du tir de la transition. mal conçu non franchissable
Rdp à capacité → Rdp ordinaire
Tout rdp à capacité peut être
transformé en un rdp
ordinaire. La transformation
consiste à ajouter une place
complémentaire. Cap(2) Cap(4)
Quel est l’intérêt de la
transformation d’un rdp à
capacité en rdp ordinaire ?
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0 si M0 = (1,1) le rdp est 2-borné
si toutes places sont bornées pour M0 si M0 = (1,0) le rdp est 1-borné
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp
Rdp borné
borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il 3
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il 3
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il 3
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il 3
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il 3
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k si M0 = (2,1) le rdp est 3-borné
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k
borné ?
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k
borné ?
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Rdp sauf ou binaire Un rdp est sauf s’il est 1-borné, c-à-d toutes les places sont
1-bornées, où chaque place contient au plus une marque.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp borné
Une place Pi est « bornée » pour M0 si, Mi *M0
accessible à partir de M0, le nombre de marques dans
Pi est fini.
Pi est « k-bornée » pour un marquage initial M0 s’il
existe un entier naturel k, tel que pour tout marquage
accessible à partir de M0, m(Pi) k
borné ?
Un rdp est « k-borné » pour un marquage initial M0
si toutes places sont bornées pour M0
Rdp sauf ou binaire Un rdp est sauf s’il est 1-borné, c-à-d toutes les places sont
1-bornées, où chaque place contient au plus une marque.
P1 2 P1 P1 2
Non sauf
T1 T3 T1 T1 T3
P2 P3 P2 P2 P3
2 2
T2 T4 T2 T2 T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp vivant
Une transition Tj est « vivante » pour un marquage initial M0 si pour tout marquage
accessible Mi (Mi*M0) il existe une séquence de franchissements qui contient Tj à partir
de Mi. Quelle que soit l’évolution du rdp on aura toujours la possibilité de franchir Tj
P1 P1
P1 P1 P1
T1 T1 T1 T1 T1
P2 P2 P2 P2 P2
T1 T1 T1
T2 T2
M1 P3 P3 P3
M0
T1 est vivante pour M0 = (1,0) T2 T2 T2
M0 (T1 > M1 et M1(T2 > M0
M0 (T1T2 > M0 et M1(T2T1 > M1 M0 M1 M2
Un rdp est vivant pour un marquage initial T2 et T3 sont vivantes alors que T1 n’est
M0 si toutes ses transitions sont vivantes. pas vivante
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp quasi-vivant P1
P1
Une transition Tj est « quasi-vivante » T1 T1 T2
pour un marquage initial M0 s’il existe
une séquence de franchissements s telle P2 P2 P3
que Tj s, à partir de M0.
T1 T3
P3 P4
T2 T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp quasi-vivant P1
P1
Une transition Tj est « quasi-vivante » T1 T1 T2
pour un marquage initial M0 s’il existe
une séquence de franchissements s telle P2 P2 P3
que Tj s, à partir de M0.
T1 T3
P3 P4
T2 T4
Rdp avec blocage
P1
T1
P2
T2 T3
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp quasi-vivant P1
Une transition Tj est « quasi-vivante » T1
pour un marquage initial M0 s’il existe
une séquence de franchissements s telle P2
que Tj s, à partir de M0.
T1
P3
T2
Rdp avec blocage
P1 P1
T1 T2
T1 P2 P3
P2 T3
T2 T3 P4
P3 T4
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp quasi-vivant P1
P1
Une transition Tj est « quasi-vivante » T1 T1 T2
pour un marquage initial M0 s’il existe
une séquence de franchissements s telle P2 P2 P3
que Tj s, à partir de M0.
T1 T3
P3 P4
T2 T4
Rdp avec blocage
P1
T1
P2
T2 T3
P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp quasi-vivant P1
P1
Une transition Tj est « quasi-vivante » T1 T1 T2
pour un marquage initial M0 s’il existe
une séquence de franchissements s telle P2 P2 P3
que Tj s, à partir de M0.
T1 T3
P3 P4
T2 T4
Rdp avec blocage
P1
T1
P2
T2 T3
bloqué P3
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Exemple de Rdp avec blocage
T1 T4
P7
P2 P4
P1 T2 T5 P6
P3 P5
P8
T3 T6
Exemple de Rdp avec famine
T1
P5
T5
P1 P2 P7 T3 T4 P8 P3 P4
P6
T6
T2
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
Soit le système « service client » où 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 ré-ouverte que lorsque tous les clients
étaient entrés seront sortis.
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) n P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) n P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) n-1 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) n-2 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) n-3 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) … P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) 2 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) 1 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) 1 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) 0 P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
UF - ENI Concept de base Réseaux de Pétri
Rdp à arc inhibiteur
Un arc inhibiteur est un arc orienté d’une place vers une transition (terminé par un
cercle au lieu d’une flèche) qui est franchissable si la place correspondante n’est pas
marquée (c’est un test à zéro).
P1
Soit le système « service client » où 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 T1
n T4 T3
servis les clients sortent par une autre porte. La porte
d’entrée ne sera ré-ouverte que lorsque tous les clients Cap(n) P2
étaient entrés seront sortis.
T2
P1 Porte d’entrée ouverte
P2 Nb de clients en attente ou en cour de service
P3 Porte d’entrée fermée P3
T1 Entrée de clients
T2 Sortie de client
T3 Ferme la porte d’entrée
T4 Ouvre la porte d’entrée
Version 1.0 2022
Vous aimerez peut-être aussi
- Chapitre 02 - Les Réseaux de Pétri - RDPPas encore d'évaluationChapitre 02 - Les Réseaux de Pétri - RDP20 pages
- Modélisation des Systèmes avec Réseaux de PetriPas encore d'évaluationModélisation des Systèmes avec Réseaux de Petri16 pages
- Réseaux de Pétri Colorés : Modélisation et AnalysePas encore d'évaluationRéseaux de Pétri Colorés : Modélisation et Analyse8 pages
- Modélisation d'Atelier Bois avec RdPPas encore d'évaluationModélisation d'Atelier Bois avec RdP10 pages
- A-Processus Déterministes:: Les Réseaux de PetriPas encore d'évaluationA-Processus Déterministes:: Les Réseaux de Petri36 pages
- Master 2 - Automatique Et Informatique Industrielle: II.2 Modélisation Par Les Réseaux de Pétri (RDP)Pas encore d'évaluationMaster 2 - Automatique Et Informatique Industrielle: II.2 Modélisation Par Les Réseaux de Pétri (RDP)6 pages
- Introduction aux Réseaux de Petri ColorésPas encore d'évaluationIntroduction aux Réseaux de Petri Colorés50 pages
- Électricité 2 : Examen CP2 2019-2020Pas encore d'évaluationÉlectricité 2 : Examen CP2 2019-20202 pages
- Ex5D - Études de Fonctions - CORRIGEPas encore d'évaluationEx5D - Études de Fonctions - CORRIGE6 pages
- TP MATLAB : Sous-échantillonnage et Histogrammes100% (2)TP MATLAB : Sous-échantillonnage et Histogrammes6 pages
- Capes Externe 2002 L3 Mathématiques 2 EaPas encore d'évaluationCapes Externe 2002 L3 Mathématiques 2 Ea7 pages
- C72 Oscillateurs En-Regime SinusoidalPas encore d'évaluationC72 Oscillateurs En-Regime Sinusoidal28 pages
- Droites remarquables dans les trianglesPas encore d'évaluationDroites remarquables dans les triangles50 pages
- Chapitre 2 - Arbres - de - Décision - Part1 PDFPas encore d'évaluationChapitre 2 - Arbres - de - Décision - Part1 PDF34 pages
- Vérification des Palindromes en PythonPas encore d'évaluationVérification des Palindromes en Python4 pages
- Implémentation RSA et DES en SageMathPas encore d'évaluationImplémentation RSA et DES en SageMath5 pages
- Convergence et Limites des Suites NumériquesPas encore d'évaluationConvergence et Limites des Suites Numériques2 pages
- Commande des systèmes en génie électriquePas encore d'évaluationCommande des systèmes en génie électrique161 pages
- Introduction aux systèmes logiques combinatoiresPas encore d'évaluationIntroduction aux systèmes logiques combinatoires24 pages
- Innovations en Éducation Scientifique en RDCPas encore d'évaluationInnovations en Éducation Scientifique en RDC12 pages
