Académique Documents
Professionnel Documents
Culture Documents
temporel
Définition
Définition
réseau de Petri t-temporel
avec
Une transition doit être sensibilisée
pendant le délai minimum avant de
pouvoir être tirée et ne peut rester validée
au-delà du délai maximum sans être
tirée ; est la date statique de tir au plut
tôt et est la date de tir au plus tard de
.
si alors
;
sinon .
est vide
Liens externes
Réseau de Petri
Réseau de Petri temporel
Réseau de Petri temporisé
Réseau de Petri P-temporel
Bibliographie
1. Merlin (P.). – A Study of the
Recoverability of Computer Systems.
– Irvine, California, Thèse de PhD,
University of California, 1974.
Ce document provient de
« https://fr.wikipedia.org/w/index.php?
title=Réseau_de_Petri_T-
temporel&oldid=132956303 ».
La dernière modification de cette page a été faite
le 23 décembre 2016 à 12:38. •
Le contenu est disponible sous licence CC BY-SA
3.0 sauf mention contraire.