Réseau de pétri

Réalisée par: Safae Gourich

OCCURRENCES
EXTERNES
La possibilité est offerte de conditionner le franchissement d'une
transition à un événement externe (occurrence). Le nom de
l'occurrence est alors spécifié en regard de la transition considérée. Il
est alors nécessaire de proposer un chronogramme sur lequel figurent
toutes les occurrences en fonction du temps
 TEMPORISATION
La temporisation dans un RdP (nécessairement non autonome)
permet de décrire un fonctionnement qui dépend du temps (durée
opératoire, etc.). Les temporisations sont soit affectées aux places
soit aux transitions.

Un réseau de Pétri temporisé avec n places et p transitions est un doublet

RT= <R,D>
avec:
• R est un réseau de Pétri < P, T, Pre, Post> avec un marquage initial
• D est la fonction durée de franchissement :

D : P-----> Q+

qui à chaque place fait correspondre un nombre rationnel positif décrivant

la durée d’indisponibilité des jetons.
 RDP PSEUDO VIVACITÉ
Un RdP est dit pseudo vivant si depuis le marquage initial, son évolution
est telle qu’il existe au moins une transition qui puisse être franchie.

Avec le marquage initial :

T1 et T2 sont tirables Î le RdP est pseudo vivant
T3 n’est pas tirable Î le RdP n’est pas quasi vivant
RDP BORNÉ
Un RdP est borné pour un marquage initial Mo , si toutes ses
places sont bornées pour Mo.

Soit un réseau R et un marquage M0. Une place Pj du réseau

marqué (R,M0) est k-bornée si pour tout marquage Mi
accessible depuis M0, Mi (Pj) ≤ k.

Pj est k-borné ⇔ ∀ Mi accessible depuis M0, et Pj ∈ P, Mi(Pj) ≤ k

 RDP SAUF
Un RdP est sauf (ou binaire) pour un marquage initial Mo , si pour
marquage accessible, chaque place contient au plus un jeton.

Un réseau sauf est borné.

un réseau ordinaire est sauf si il est borné à 1.C’est a dire pour un

marquage initial M0 donné, Aucune de ses places n'est susceptible de
contenir plus d'un jeton à la fois quel que soit le marquage atteint du
réseau.
Rdp sans
un RdP est sans blocage pour
blocage. un marquage initial Mo si
aucun marquage accessible
∈
Mi *Mo n'est un blocage.