Réseau de Petri P-temporisé
Un réseau de Petri p-temporisé[1],[2] est un doublet avec :
- est un réseau de Petri autonome avec un marquage
initial ;
- est une fonction durée minimale de séjour d’une marque dans une place, qui à chaque place fait correspondre un nombre rationnel positif décrivant la durée d’indisponibilité des jetons .
Sémantique[modifier | modifier le code]
La sémantique est que les marques doivent rester dans la place au moins le temps associé à cette place. Pendant la marque est indisponible ; elle ne participe pas à la validation des transitions. Donc représente :
- la durée d’indisponibilité de la marque pour la validation des transi-
tions ;
- le temps minimum de séjour d’une marque dans une place.
Règles de fonctionnement : On utilisera la notion d’état (définition prochain) pour caractériser la situation du réseau à un instant donné.
État[modifier | modifier le code]
Un état est un doublet où :
- est une application de marquage, assignant à chaque place du réseau un certain nombre de marques ;
- est une application de temps d’indisponibilité, assignant à chaque marque dans la place un temps , correspondant à la durée qui reste à la marque pour terminer son temps de séjour minimal dans la place .
Les temporisations associées aux places permettent de prendre en compte les durées opératoires minimales. Par conséquent une transition validée au sens des réseaux de Petri autonomes peut ne pas être obligatoirement franchie. Une transition est franchissable si elle est validée au sens des réseaux de Petri autonomes et si les marques qui la valident sont disponibles.
Liens externes[modifier | modifier le code]
Bibliographie[modifier | modifier le code]
- Sifakis (J.). – Use of petri nets for performance evaluation. Symposium on modelling and evaluation, IFIP, pp. 75–93. – 1977.
- Sifakis (J.). – Performance evaluation of systems using nets. Lecture notes in computer science, vol. 84, 1980, pp. 307–319.
