Réseaux de Petri à chronomètres : temps dense et temps discret
Dans cette thèse, nous comparons les approches en temps dense et en temps discret pour la vérification de systèmes temps réel via une extension des réseaux de Petri temporels, appelée réseaux de Petri à chronomètres. Le temps dense consiste à considérer le temps comme une grandeur dense tandis que l...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Collectivités auteurs : | , , , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Réseaux de Petri à chronomètres : temps dense et temps discret / Morgan Magnin; sous la direction d'Olivier H. Roux; co-encadrant Pierre Molinaro |
Publié : |
[S.l.] :
[s.n.]
, 2007 |
Accès en ligne : |
Accès Nantes Université
|
Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2007 |
Sujets : | |
Documents associés : | Reproduction de:
Réseaux de Petri à chronomètres |