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 (Autre partenaire associé à la thèse), Université de Nantes (1962-2021) (Organisme de soutenance), Centrale Nantes (1991-....) (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux (Nantes) (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique (Nantes) (Laboratoire associé à la thèse)
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 Livre
Langue :français
Sujets :
Petri, Réseaux de.
Systèmes temps réel/ Temps dense/ Temps discret/ Vérification/ Expressivité
Thèses et écrits académiques.

Bu Sciences / Magasin compactus - S'adresser à l'accueil

Informations d'exemplaires de Magasin compactus - S'adresser à l'accueil
Cote: 2007 NANT 2144
Exemplaire 1 Disponible
Exemplaire 2 Disponible

Bib. Centrale Nantes / Magasin 3 - S'adresser au bureau de prêt

Informations d'exemplaires de Magasin 3 - S'adresser au bureau de prêt
Cote: Th.2262
Exemplaire 1 Disponible

Bib. Centrale Nantes / Bibliothèque

Informations d'exemplaires de Bibliothèque
Cote: Th.2262 bis
Exemplaire 2 Disponible

Documents similaires