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
Auteurs principaux : Magnin Morgan (Auteur), Roux Olivier Henri (Directeur de thèse), Molinaro Pierre (Directeur de thèse)
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 1958-2017 (Organisme de soutenance)
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 :
Petri, Réseaux de
Systèmes temps réel/ Temps dense/ Temps discret/ Vérification/ Expressivité
Thèses et écrits académiques
Documents associés : Reproduction de: Réseaux de Petri à chronomètres

Internet

https://archive.bu.univ-nantes.fr/pollux/show/show?id=006a7b1c-26bd-451f-a65a-1ee889ff0f4c