Chapitre 2: Les réseaux de Petri
Principe de modélisation statique
RISC
Faten Bellakhdhar
24/12/2023 Faten BELLAKHDHAR 1
Chapitre 2
Introduction
Un réseau de Petri est une structure graphique comportant un ensemble de
places et de transitions , reliées par des arcs orientés, éventuellement porteurs
de poids.
Ces arcs sont des liens entre place et transition ou entre transition et place
exclusivement
Dans cette structure se déplacent des jetons (ou marques) qui apparaissent dans
les places et sont susceptibles de franchir les transitions selon certains critères
de franchissabilité et de franchissement.
24/12/2023 Faten BELLAKHDHAR 2
Chapitre 2
Les réseaux conditions/événements
Condition
• Une condition est un prédicat ou une description logique d'un état du système.
• Une condition est vraie ou fausse.
• Un état du système peut être décrit comme un ensemble de conditions.
Evénement
• Les événements sont des actions se déroulant dans le système.
• Le déclenchement d'un événement dépend de l'état du système.
Précondition : l’ensemble des prédicats qui doivent être vrai pour que l’action
puisse être effectuée.
Postconditions : l’ensemble des prédicats qui sont vrai à la fin de l’action
24/12/2023 Faten BELLAKHDHAR 3
Chapitre 2
Les réseaux conditions/événements
Système: Imprimante Etat initial: repos
Fonctionnement
Quand elle reçoit une demande d’impression , elle passe dans l’état «
réception des données », puis quand elle a reçue les données, elle passe
dans l’état « en impression », et enfin quand l’impression est terminée, elle
réinitialise ses paramètre et revient à l’état « au repos »
Evènement décrivant le fonctionnement
Etat de l’imprimante de l’imprimante
P1:repos e1:réception d’une demande d’impression
P2: réception des données e2: début d’impression
P3:impression en cours e3: fin d’impression
P4: l’impression terminée e4: fin de réinitialisation
24/12/2023 Faten BELLAKHDHAR 4
Chapitre 2
Les réseaux conditions/événements
Événements actions effectuées par l’imprimante
Déclenchement d’une action est conditionné par l’état de l’imprimante
Exemple : «fin d’impression» ne peut se produire que si l’imprimante est
en cours d’impression
Evènements Pré Post
e1 P1 P2
e2 P2 P3
e3 P3 P4
e4 P4 P1
24/12/2023 Faten BELLAKHDHAR 5
Chapitre 2
Les réseaux conditions/événements
Condition = Place
Evénement = Transition
précondition = arc Place Transition
postcondition = arc Transition Place
24/12/2023 Faten BELLAKHDHAR 6
Chapitre 2
Les réseaux conditions/événements
Satisfaction d’une Condition = Jeton dans une Place
Remarque : on peut avoir un nombre quelconque non borné de jetons
dans une place
24/12/2023 Faten BELLAKHDHAR 7
Chapitre 2
Les réseaux conditions/événements
• Condition de franchissement d'une transition = satisfaction de toutes
les places précondition de la transition
• Effet du franchissement d'une transition = satisfaction de toutes les
places Postconditions de la transition
24/12/2023 Faten BELLAKHDHAR 8
Chapitre 2
Les réseaux conditions/événements
Avant franchissement
Après franchissement
24/12/2023 Faten BELLAKHDHAR 9
Chapitre 2
Présentation informelle
24/12/2023 Faten BELLAKHDHAR 10
Chapitre 2
Présentation informelle
24/12/2023 Faten BELLAKHDHAR 11
Chapitre 2
Présentation informelle
Modélisation de systèmes avec ressources:
– Pour certains systèmes, il est plus juste de raisonner en termes
d'ensemble de ressources, au sens large, qu'en termes de
conditions-événements.
=> un jeton = une ressource
– Le nombre de jetons contenus dans une place reflète le
nombre de ressources qu’elle possède.
– Les jetons d'une place n'ont pas d'identité individuelle,
autrement dit ils sont indiscernables.
– Ces ressources sont consommées et produites par les
événements du système.
24/12/2023 Faten BELLAKHDHAR 12
Chapitre 2
Présentation informelle
Une transition-source est une
transition ayant une entrée vide
(T0).
Une transition-puit est une
transition ayant une sortie vide
(T3).
Un RdP est dit pur s’il n’existe pas
de transition ayant une place
d’entrée qui soit également place
de sortie de cette transition.
24/12/2023 Faten BELLAKHDHAR 13
Chapitre 2
Exemples de modélisation
Système: imprimante Etat initial: repos
Fonctionnement:
Quand elle reçoit une demande d’impression , elle passe dans l’état « réception
des données », puis quand elle a reçue les données, elle passe dans l’état « en
impression », et enfin quand l’impression est terminée, elle réinitialise ses
paramètre et revient à l’état « au repos »
24/12/2023 Faten BELLAKHDHAR 14
Chapitre 2
Exemples d’application 1
Lire un entier n;
S’il est pair ;
le diviser par 2
Sinon
le multiplier par 3;
lui ajouter 1;
S’il est égal à 1;
lire une nouvelle valeur;
Sinon recommencer le traitement;
T1 : LIRE T4 : ajouter 1
T2 : Div par 2 T5 : retour au début
T3 : Mul par 3 T6: recommencer trait
24/12/2023 Faten BELLAKHDHAR 15
Chapitre 2
Exemples d’application 2
5 philosophes assis autours d’une table ronde
• Chaque philosophe peut se trouver dans deux conditions
possible :
– Penser à manger (cette condition ne nécessite aucune
ressource
supplémentaire).
– manger ( cette condition nécessite la présence de deux
fourchettes libre de part et d’autre du philosophe).
• Entre chaque deux philosophe se trouve une seule fourchette
• Donnez une représentation par RDP du comportement d’un
philosophe isolé.
• Donnez une représentation par RDP du comportement des 5
philosophes autour de la table.
24/12/2023 Faten BELLAKHDHAR 16
Chapitre 2
Exemples d’application 2
24/12/2023 Faten BELLAKHDHAR 17
Chapitre 2
Exemples d’application 2
24/12/2023 Faten BELLAKHDHAR 18
Chapitre 2
RdP Autonome
RdP autonome: description qualitative, sans préciser les interactions avec
l'environnement ou le temps. Les instants de franchissements ne sont pas connus
ou pas indiqués
24/12/2023 Faten BELLAKHDHAR 19
Chapitre 2
RdP non -Autonome
RdP non-autonome: RdP synchronisé(sur évènements) ou temporisé
24/12/2023 Faten BELLAKHDHAR 20
Chapitre 2
RdP Généralisé
• Les arcs entrants d'une transition peuvent être valués par un entier
quelconque (non nul)
=> valuation = nombre de jeton nécessaires dans la place pour
franchir la transition
=> si k est la valuation d'un arc d'une place P vers une transition T,
le tir de la transition T retire k jetons dans la place P
24/12/2023 Faten BELLAKHDHAR 21
Chapitre 2
RdP Généralisé
Les arcs sortants d'une transition peuvent être valués par un entier
quelconque (non nul)
=> valuation = nombre de jeton produits dans la place située après
la transition
=> si k est la valuation d'un arc d'une transition T vers une place P,
le tir de la transition T dépose k jetons dans la place P.
Par défaut, les arcs sont valués par 1
24/12/2023 Faten BELLAKHDHAR 22
Chapitre 2
RdP Généralisé
24/12/2023 Faten BELLAKHDHAR 23
Chapitre 2
RdP Généralisé
Transition sensibilisée si 2 jetons dans p0 et 1 jeton dans p1
24/12/2023 Faten BELLAKHDHAR 24
Chapitre 2
RdP Généralisé
Exemple du chocolat:
Il faut 1 boîte vide et 30 chocolats pour faire une boîte pleine.
24/12/2023 Faten BELLAKHDHAR 25
Chapitre 2
RdP Généralisé
Exemple…
une réaction chimique d'oxydo-réduction
24/12/2023 Faten BELLAKHDHAR 26
Chapitre 2
RdP Généralisé
24/12/2023 Faten BELLAKHDHAR 27
Chapitre 2
Problème des lecteurs – écrivains (K = 10)
Problème des lecteurs – écrivains
• On veut modéliser l'accès à une base de données, avec les
contraintes suivantes :
– K "processus" qui tentent d'accéder à la BD soit pour lire,
soit pour écrire.
– Pas d'écritures simultanées sur les données.
– Pas de lecture et écriture simultanées : risque
d'incohérence des données lues.
– Par contre, lectures possibles en parallèle.
• Faire la modélisation de ce système avec (K=4)
24/12/2023 Faten BELLAKHDHAR 28
Chapitre 2
Problème des lecteurs – écrivains (K = 4)
Les places représentent les états accessibles par le
processus lecteurs/rédacteurs
et les transitions les événements permettant le passage
d'un état à l'autre. Ainsi la présence d'une marque dans:
- Pl indique qu'une tâche est prête à lire dans le tampon,
- P2 indique qu'une tâche est en cours de lecture dans le
tampon,
- P3 indique qu'une tâche est en attente pour lire dans le
tampon,
- P5 indique qu'une tâche est prête à écrire dans le
tampon,
- P6 indique qu'une tâche est en cours d'écriture dans le
tampon,
- P7 indique qu'une tâche est en attente pour écrire dans
le tampon,
- P4 sert à synchroniser les accès dans la mémoire
partagée de manière à empêcher les états interdits
décrits précédemment.
24/12/2023 Faten BELLAKHDHAR 29
Chapitre 2
Arc inhibiteur
Tj n’est validée que si la place Pi ne contient aucune marque. Le
franchissement consiste à retirer une marque dans chaque
place d’entrée de Tj à l’exception de Pi et à ajouter une marque
dans chaque place de sortie de Tj
24/12/2023 Faten BELLAKHDHAR 30
Chapitre 2
RdP interprétés
• Extension des RdP de base.
• Introduction de deux notions :
– les évènements, pour décrire le comportement d'un
système vis-à-vis de son environnement externe;
– le temps, pour effectuer des évaluations dynamiques
sur ce comportement.
• L'occurrence d'un évènement est associée à un instant
d'occurrence défini par un repère de temps qui permet
d’ordonner les évènements.
24/12/2023 Faten BELLAKHDHAR 31
Chapitre 2
RdP interprétés
• Un système de commande temps réel est en général un
système qui réagit à des évènements externes.
– Prise en considération du système "réel":
– partie opérative: capteurs associés aux transitions, et prise
en compte des variables et opérateurs.
– partie commande: actions exécutées sur les processus;
associées aux places.
24/12/2023 Faten BELLAKHDHAR 32
Chapitre 2
RdP interprétés
• Les RdPI sont des RdP non-autonomes.
• La modélisation des systèmes à évènements discrets
est le plus souvent effectuée en RdPI et/ou
temporisés.
• on utilise souvent le terme RdP au lieu de RdPI.
• Les RdPI offrent les même possibilités d'analyse que
les RdP.
24/12/2023 Faten BELLAKHDHAR 33
Chapitre 1
Exemple d’application
• Cahier de charge 1:
Soit le chariot C qui peut se déplacer entre les deux fins de
course A et B grâce à un moteur à deux sens de marche
commandé par deux relais D et G.
Lorsque l’opérateur ferme le contact M, et à condition que C
soit en A, le chariot se déplace vers la droite jusqu’en B. Arrivé
en B, C retourne immédiatement vers la gauche et s’arrête en A
si M est ouvert ; dans le cas contraire, le chariot commence un
nouveau cycle.
24/12/2023 Faten BELLAKHDHAR 34
Chapitre 2
Exemple d’application
Cahier de charge 2:
Considérons les deux chariots C1 et C qui peuvent se déplacer entre les fins de course
A1 – B1 (respectivement A2 – B2), grâce à deux moteurs à double sens de marche
commandés par les relais D1, G1 (respectivement D2, G2). Lorsque l’opérateur ferme le
contact M , et à condition que C1 et C2 soient en A1 et A2, les deux chariots se déplacent
simultanément vers la droite. Le retour vers A1 (respectivement A2 ) sera commandé
lorsque les deux chariots seront arrivés en B1 (respectivement B2). C1 et C2 reviennent
donc simultanément en A1, A2 après avoir réalisé un « rendez-vous ». On dira aussi que
le premier chariot arrivé en B1, B2 s arrête ’arrête et attend l’autre. Le cycle se termine
lorsque C1 et C2 sont arrivés respectivement en A1 et A2
24/12/2023 Faten BELLAKHDHAR 35
