Réseau de Petri P-temporel

Un réseau de Petri p-temporel

Un réseau de Petri p-temporel et un doublet = (R, IS) tel que :

• ${\displaystyle R}$ est un réseau de Petri marqué
• ${\displaystyle IS:P\to Q^{+}\times (Q^{+}\cup \infty )}$ avec ${\displaystyle Q^{+}}$

l’ensemble des nombres rationnels positifs.

   ${\displaystyle p_{i}\to IS(p_{i})=[a_{i},b_{i}]}$ avec ${\displaystyle a_{i}\leq b_{i}}$

${\displaystyle IS(p_{i})}$ définit l’intervalle statique associé à la place ${\displaystyle p_{i}}$ (voir la figure). La sémantique de cet intervalle est la durée de séjour admissible d’une marque dans cette place : ainsi, un jeton contenu dans la place ${\displaystyle p_{i}}$ ne participera à la validation des transitions dont ${\displaystyle p_{i}}$ est une place d’entrée que s'il a séjourné pendant au moins ${\displaystyle a_{i}}$ unités de temps. Au-delà de ${\displaystyle b_{i}}$ unités de temps, le jeton sera considéré comme mort, et de ce fait ne participera plus à la validation des transitions. L’état de marque morte est spécifique au modèle des réseaux de Petri p-temporels, de même que la notion de séquence de tir marque-vivante.

Ce dernier aspect est utilisé pour la spécification des contraintes temporelles. En fait, la mort d’une marque représente un non-respect des spécifications et correspond à un état interdit dans la terminologie qui a été définie par[3]. Par conséquent, on est amené à contrôler les instants de tir des transitions.

Le fait d’associer les intervalles temporels aux places du réseau permet de conserver le traitement des conflits : toutes les transitions d’un conflit ont la même priorité de franchissement, comme pour les réseaux de Petri temporisés et élémentaires. Mais contrairement aux réseaux de Petri t-temporels, les temporisations n’imposent pas de contraintes sur les franchissements des transitions d’un conflit.

D’autre part, ce modèle impose que les dates d’arrivées des marques dans les places en amont des transitions de synchronisation soient compatibles, si on veut éviter la violation d’une spécification de temps de séjour, soit en d’autres termes, l’apparition de marques mortes dans le réseau.

États d’un réseau de Petri p-temporel : Pour un instant donné, la notion d’état est utilisée pour caractériser la situation du réseau p-temporel.

L’état d’un réseau de Petri p-temporel est défini par une paire ${\displaystyle E=<M,Q>}$, telle que :

• ${\displaystyle M}$ est le marquage du réseau ;
• ${\displaystyle Q}$ est une application temps de séjour qui associe à chaque jeton ${\displaystyle k}$

présent dans la place pi un nombre réel ${\displaystyle q_{i}^{k}}$ correspondant à l’âge de ce jeton, c’est-à-dire le temps écoulé depuis son arrivée dans la place.

Notons ${\displaystyle [a_{i},b_{i}]}$ l’intervalle statique associé à la place ${\displaystyle p_{i}}$. L’âge ${\displaystyle q_{i}^{k}}$ d’un jeton doit alors être supérieur ou égal à ${\displaystyle a_{i}}$ pour qu’il puisse participer à la validation des transitions de sortie de ${\displaystyle p_{i}}$. De même, il doit être inférieur ou égale à bi sinon le jeton sera considéré comme mort.

Condition de tir d’une transition : Une transition ${\displaystyle t_{v}}$ est potentiellement tirable à partir de l’état ${\displaystyle E=<M,Q>}$ si et seulement si :

• elle est validée au sens des réseaux de Petri autonomes,
• ${\displaystyle \forall p_{i}\in t_{v}}$, il existe au moins ${\displaystyle Pre(p_{i},t_{v})}$ jetons telles que ${\displaystyle \cap [a_{i}^{k},b_{i}^{k}]=[a_{i},b_{i}]\neq \varnothing }$

avec ${\displaystyle k\in 1,2,...,Pre(p_{i},t_{v})}$,

• ${\displaystyle \forall p_{i}\in t_{v}}$ il n’existe pas de jetons ne participant pas au franchissement de ${\displaystyle t_{v}}$ dont les bornes supérieures de l’intervalle dynamique soient

strictement inférieures à ${\displaystyle a_{i}^{i}}$.

Sinon le réseau sera marques-mortes.

Enfin, l’intervalle d’intersection de toutes les places d’entrée de ${\displaystyle t_{v}}$, noté ${\displaystyle [a_{v},b_{v}]}$, doit être non-vide. Cet intervalle représente celui pendant lequel la transition est tirable.