Analyse et validation formelle des systèmes temps réel

Abstract

Notions préliminaires -- Les réseaux de petri temporels (modèle tpn) -- Abstraction du modèle TPN -- Notre caractérisation du modèle d'états abstraits -- Le graphe des zones d'états concrets -- Vérification des propriétés temporisées du modèle TPN