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 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..
Le temps peut être associé aux transitions Ramachandani (C.). – Analysis of asynchronous concurent systems using petri nets. Technical report N°120. – 1974. (modèle t-temporisé) ou aux places Sifakis (J.). – Use of petri nets for performance evaluation. Symposium on modelling and evaluation, IFIP, pp. 75–93. – 1977. (modèle p-temporisé). [Sifakis80] a montré que tous ces modèles sont équivalents.
Notes et références
Articles connexes Réseau de Petri Réseau de Petri temporel Réseau de Petri P-temporel Réseau de Petri T-temporel Réseau de Petri P-temporisé
Catégorie:Méthode formelle