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
[modifier | modifier le code]Notes et références
[modifier | modifier le code]- 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.
- Zuberek (W. M.). – Timed petri nets definitions,properties, and applications. Microelectronics and Reliability, vol. 31, n4, 1991, pp. 627–644.
- Ramachandani (C.). – Analysis of asynchronous concurent systems using petri nets. Technical report N°120. – 1974.
- Sifakis (J.). – Use of petri nets for performance evaluation. Symposium on modelling and evaluation, IFIP, pp. 75–93. – 1977.
