Réseau de Petri temporisé

Chronologiquement, ce modèle fut la première extension temporisée de réseaux de Petri. Cet outil permet de représenter les mécanismes temporisés associés à un processus avec une logique de description des temps nécessaires aux opérations. Il est performant pour la spécification et la validation des systèmes comprenant des temps minimum. Par exemple, le modèle t- temporisé est surtout utilisé dans le cadre de l’évaluation de performances ^[1],[2].

Le temps peut être associé aux transitions ^[3] (modèle t-temporisé) ou aux places ^[4] (modèle p-temporisé). [Sifakis80] a montré que tous ces modèles sont équivalents.

Liens externes

• Réseau de Petri
• Réseau de Petri temporel
• Réseau de Petri P-temporisé
• Réseau de Petri T-temporisé

Notes et références

1. Ramamoorthy (C. V.) et Ho (Gary S.). – Performance evaluation of asynchronous concurrent systems using petri nets. IEEE Trans. Software Eng., vol. 6, n5, 1980, pp. 440–449.
2. Zuberek (W. M.). – Timed petri nets definitions,properties, and applications. Microelectronics and Reliability, vol. 31, n4, 1991, pp. 627–644.
3. Ramachandani (C.). – Analysis of asynchronous concurent systems using petri nets. Technical report N°120. – 1974.
4. Sifakis (J.). – Use of petri nets for performance evaluation. Symposium on modelling and evaluation, IFIP, pp. 75–93. – 1977.