Chapitre 2 : Les réseaux de Petri

non autonomes
Plan :
 Introduction
 RdP synchronisés
 RdP temporisés
 RdP Temporels
 RdP continus
 RdP Hybrides
 RdP Colorés
Introduction
Rappel : RdP autonome et non autonome

Un RdP autonome décrit le fonctionnement d'un système

dont les instants de franchissement ne sont pas connus ou
indiqués.

Un RdP non autonome décrit le fonctionnement d'un

système dont l'évolution est conditionnée par des
événements externes ou par le temps.
Dans un RdP non autonome, l’évolution ne dépend pas
seulement de l’état du réseau mais aussi de l’environnement
qui lui est associe.
L’évolution peut dépendre du temps :
 RdP temporisé
 RdP temporel
 Stochastique ou continu
L’évolution peut aussi dépendre des données externes :
 RdP haut niveau
1. Les réseaux de Petri synchronisé
Définition :

Un ensemble d'événements externes est associé au RdP, ces

événements permettent le franchissement de certaines
transitions. Un tel RdP est dit synchronisé.

 Un RdP synchronisé est un réseau non autonome dont

le fonctionnement dépend des évènements externes.
Evolution du marquage dans un RdPS

Le franchissement d'une transition 𝒕𝒊 d'un RdPS s'effectuera

maintenant si les deux conditions ci-après sont vérifiées :

1) La transition 𝒕𝒊 est validée.

2) L'évènement 𝒗𝒊 associé est vrai (ou a pour valeur 1 au
sens booléen).

Le franchissement de la transition se synchronise donc sur

l'évènement. D'où l'appellation d’un RdP synchronisé.
Evolution du marquage dans un RdPS

 Le franchissement des transitions est conditionné par

des évènements.
 Une transition est franchissable s’elle est validée et
l’évènement se produit.
Définition 2 :

Un RdP synchronisé est un RdP marqué dans lequel toute

transition est associée à un évènement :
• Evènement externe E
• Evènement interne : changement d’état, de marquage
• Evènement neutre : évènement toujours occurrent
Exemple :

T1 est franchissable dès que l’évènement E se produit.

T1 est immédiatement franchie.
 Exemple :

Considérons le RdP modélisant la machine décrite ci-

dessous. On associe à ce RdP l'ensemble d'événements A, D,
S, où A désigné l'événement « Arrivée pièce », D l'événement
« Démarrage service », S l'événement « Sortie pièce ». La
figure représente le système modélisé par un RdP
synchronisé.
Exemple :
Le tir de la transition T1 est lié à l'occurrence de l'événement
A.

Le tir de la transition T2 est lié à la validation de la transition,

matérialisée par la présence d'au moins un jeton dans la place
« stock » et d'un jeton dans la place « ressource machine libre
». Au démarrage effectif du service (occurrence de
l'événement D). Le tir de la transition T3 est lié à l'occurrence
de l'événement S.
 Exemple : synchronisation entre service production et
consommation (Synchronisation des deux taches P2 et P6)
 Introduction (Les Réseaux de Petri et le temps)
Les premiers modèles qui intégraient le temps relevaient
d’une logique qui consistait à décrire le temps nécessaire à
une opération. Cette approche permet de représenter les
mécanismes temporels associés à un processus.

L’évolution peut dépendre du temps :

RdP temporisé, RdP temporel et RdP Stochastique ou continu.
2. Les réseaux de Petri temporisés
Le temps peut être associé indifféremment aux transitions
(modèle RdP t-temporisé) ou aux places (modèle RdP p-
temporisé).

Définition :

Les RdPs temporisés permettent de décrire les systèmes dont

le fonctionnement dépend du temps (durée entre le début et
la fin d’une opération).
 2.1 RdP P-temporisé :

Un réseau de Petri P-temporisé avec 𝑛 places et 𝑝 transitions

est un doublet <𝑃𝑁, 𝑇𝑒𝑚𝑝> avec:

𝑃𝑁 est un réseau de Petri < 𝑃, 𝑇, 𝑃𝑟𝑒, 𝑃𝑜𝑠𝑡> avec un

marquage initial 𝑀0 .

𝑇𝑒𝑚𝑝 est la fonction durée minimale de séjour d’une

marque dans une place donnée :
 RdP P-temporisé :

Temp : P-- Q+ qui à chaque place fait correspondre un

nombre rationnel positif décrivant la durée d’indisponibilité
des jetons.

La sémantique est que les marques doivent rester dans la

place 𝑃𝑖 au moins le temps 𝑑𝑖 associé à cette place.

𝑇𝑒𝑚𝑝(𝑃𝑖 ) = 𝑑𝑖
 RdP P-temporisé :

Pendant 𝑑𝑖 la marque est indisponible ; elle ne participe

pas à la validation des transitions. 𝑑𝑖 représente donc :

• la durée d’indisponibilité de la marque pour la validation

des transitions.

• le temps minimum de séjour d’une marque dans une place.

Exemple (RdP P-temporisé) :
Exercice :

 Pour l’exemple précédent, si on associe la temporisation

d1 à la place P1, donner l’évolution du marquage
Exercice(solution) :
2.2 RdP T-temporisé :

On associe cette fois la temporisation aux transitions.

Principe de fonctionnement :

Une marque peut avoir deux états :

 Disponible (ou non réservée)

 Réservée pour le franchissement d’une transition.
 Définition :

Un RdP T-temporisé est un doublet <𝑃𝑁, 𝑇𝑒𝑚𝑝> où :

𝑃𝑁 : un réseau de Petri marqué

𝑇𝑒𝑚𝑝 : application de l’ensemble T dans l’ensemble des

nombres rationnels positifs.

𝑇𝑒𝑚𝑝(𝑇𝑖 ) = 𝑑𝑖 est la temporisation de la transition 𝑇𝑖 .

 RdP T-temporisé :

Le franchissement d’une transition 𝑇𝑖 temporisé d’une durée

𝑑𝑗 franchissable à une date 𝛿 consiste soit :

A réserver un jeton dans chacune des places en amont de Tj

à la date 𝛿 (on le représente évidé)pour franchir Tj,(cas avec
réservation).

A ne pas réserver les jetons (qui pourront alors franchir une

autre transition dans le cas de conflit).
 Et à ajouter un jeton dans chacune des places en aval de Tj à
la date 𝛿 + 𝑑𝑗 .

Les évènements (disparition/apparition de jeton) aux

instants 𝛿 et 𝛿 + 𝑑𝑗 sont instantanés.

𝛿 est parfois appelé la date de début du franchissement et

𝛿 + 𝑑𝑗 date de fin de franchissement.
Exemple : donner l’évolution du marquage de cet exemple
Exemple(Solution) :

Au début 𝛿 = 0 est la date de début de franchissement.

Ensuite 𝛿=0+d1=0+1 est la date de fin de franchissement

(Apparition du jeton dans la place P3 ).

Enfin à la date 𝛿=1+d2=1+2=3 :apparition du jeton dans P4.

Remarque :

A la date 𝛿 = 1 , le jeton apparait dans P3 et disparait

immédiatement.
2.3 Equivalence P-temporisé et T-temporisé :
Introduction (RdP temporels et RdP temporisés) :
Les contraintes de temps de séjour nécessitant l’utilisation
des RdP temporels à la place des RdP temporisés.

Les RdP temporisés ne modélisent que les contraintes de

temps minimum.

Les RdP temporisés constituent une sous-classe des RdP

temporels :
 Ils ont été introduits plus tôt que les RdP temporels,
aussi la littérature scientifique qui les concerne est très
abondante.
 Pour cette raison, un grand nombre de propriétés
des RdP temporels ont été présentées comme une
généralisation de propriétés préalablement établies
pour les RdP temporisés.
3. Les réseaux de Petri temporels
Leur fonctionnement dépend toujours du temps, mais le
franchissement des transitions s’effectue dans une fenêtre
temporelle.

3.1 Les Réseaux de Petri P-temporels

Les RdP P-temporels, dont les fondements théoriques ont été

élaborés par Khansa [KHA97], sont utilisés pour modéliser et
analyser les systèmes à contraintes de temps.
 Il a été montré qu’ils représentent un formalisme puissant et
reconnu pour la modélisation de l’obligation de respect des
temps de séjour.

3.1 RdP P-temporels :

RdP P-temporels se contentent d’être un outil de modélisation

des systèmes à événements discrets dédié à la prise en
compte des contraintes de temps de séjour exprimées sous
forme d’intervalles.
 Dans ce cas, une classe bien particulière de contraintes est
traitée :

 Premièrement, il faut que ces dernières soient de nature

temporelle, ce qui constitue un cas très particulier.
 Bien plus, ces contraintes doivent être modélisables à
l’aide d’intervalles associés aux places du RdP. Seul un
certain type de contraintes de temps de séjour est donc
modélisé.
 Définition :

Un RdP P-temporel est donné par le doublet <𝑃𝑁, 𝐼𝑆> :

𝑃𝑁 est un RdP marqué.

𝐼𝑆 est la fonction qui associe à chaque place 𝑃𝑖 un intervalle

de temps [𝑎𝑖 , 𝑏𝑖 ] : 𝐼𝑆(𝑃𝑖 ) = [𝑎𝑖 , 𝑏𝑖 ] avec 0 ≤ 𝑎𝑖 ≤ 𝑏𝑖

𝐼𝑆 definit l’intervalle statique de temps de séjour d’une

marque dans la place 𝑃𝑖 .
 Une marque dans la place 𝑃𝑖 participe à la validation de ses
transitions de sortie que si elle a séjourné au moins la durée
𝑎𝑖 dans cette place.

Elle doit quitter la place 𝑃𝑖 , donc franchir l’une des

transitions de sortie au plus tard quand sa durée de séjour
devient égale à 𝑏𝑖 .

Après ce temps (𝑏𝑖 ), la marque sera morte et ne participera

plus à la validation des transitions.
Différents états d’un jeton dans un RdP P-temporel

𝑞𝑖 : le temps écoulé depuis l’arrivée de la marque dans la place

𝑝𝑖 .
3.2 Les Réseaux de Petri T-temporels

Les RdP t-temporels sont destinés principalement à l'étude

des systèmes de télécommunication dont les évolutions
dépendent des contraintes de type temps de réponse (time-
out).
 Dans ce modèle, un intervalle [a, b] de temps est associé à
chaque transition du réseau.

L’intervalle associé à la transition 𝑇𝑖 est relatif au moment où

la transition devient validée. Supposons que 𝑇𝑖 est validée à
l’instant 𝑡, alors elle peut être franchie seulement entre 𝑎 + 𝑡
et 𝑏 + 𝑡 , sauf si elle devient non-validée à cause du
franchissement d’une autre transition avec laquelle elle était
en conflit.
 Définition :

Un réseau de pétri T-temporel est un doublet <𝑃𝑁, 𝐼𝑆> :

PN est un réseau de Petri marqué

IS est l’application de T dans 𝑄 × 𝑄

La fonction IS associe, à chaque transition 𝑇𝑖 , un intervalle à

bornes rationnelles :

𝐼𝑆(𝑇𝑖 ) = [𝑎𝑖 , 𝑏𝑖 ] avec 0 ≤ 𝑎𝑖 ≤ 𝑏𝑖 (𝑏𝑖 peut être infini)

 𝑎𝑖 est la date statique de tir au plus tôt et 𝑏𝑖 est la date de tir
au plus tard de 𝑇𝑖 .

Une transition doit être sensibilisée (validée) pendant le délai

minimum 𝑎𝑖 avant de pouvoir être tirée (franchie) et ne peut
rester validée au-delà du délai maximum 𝑏𝑖 sans être tirée.
 Règle de tir :

Une transition 𝑇𝑖 est franchissable, à une date relative τ, si

est seulement si les conditions suivantes sont satisfaites:

La transition 𝑇𝑖 est sensibilisée par le marquage M :

∀𝑃𝑖 ∈ °𝑇𝑖 𝑀(𝑃𝑖 ) ≥ 𝑃𝑟é(𝑃𝑖 , 𝑇𝑖 )

𝜏 n’est pas inférieur à la date au plus tôt de 𝑇𝑖 et 𝜏 n’est pas
supérieur à la date au plus tard des autres transitions
sensibilisées par 𝑀 .
 Règle de Tir :

La première condition est celle qui autorise le tir dans les

réseaux de Petri ;

La deuxième résulte de l’obligation de tirer les transitions

dans leurs intervalles de tir.
 Fonctionnement :

La transition est validée pendant l’intervalle de temps qui lui

est associé.

Si elle est franchie, elle l’est au plus tard à la durée bi de

validation.
 Exemple d’équivalence RdP temporisé et RdP temporel

Pour passer d’un RdP T-temporisé à un RdP temporel il suffit

de remplacer chaque transition 𝑇𝑖 par une séquence 𝑇𝑖′ 𝑇𝑖′′ .