Réseau de Petri temporel

Un réseau de Petri temporel (RPT, en anglais TPN pour time Petri net) est l'une des techniques permettant de spécifier et vérifier des systèmes dans lesquels le temps apparaît comme un paramètre quantifiable et continu. Il en existe deux types : le réseau de P…