Réseaux de Petri à chronomètres temps dense et temps discret /

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Magnin, Morgan (1980-....) (Auteur)
Collectivités auteurs : Université de Nantes. Faculté des sciences et des techniques (Organisme de soutenance), Université de Nantes (1962-2021) (Organisme de soutenance), Centrale Nantes (1991-....) (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux (Nantes) (Organisme de soutenance), Institut de recherche en communications et cybernétique (Nantes) (Organisme de soutenance)
Autres auteurs : Roux, Olivier (1958-....; maître de conférences au sein du Laboratoire des Sciences du Numérique de Nantes (2024)) (Directeur de thèse), Molinaro, Pierre (Directeur de thèse)
Format : Thèse Électronique
Langue :français
Publié : [S.l.] : [s.n.], 2007.
Sujets :
Petri, Réseaux de.
Systèmes temps réel/ Temps dense/ Temps discret/ Vérification/ Expressivité
Thèses et écrits académiques.
Accès en ligne :Accès au texte intégral

Internet

Accès au texte intégral

Documents similaires