Nantilus
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:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , , , |
| Autres 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é : |
2007 |
| Description matérielle : | 1 vol. (189 f.) |
| Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2007 |
| Disponibilité : | Publication autorisée par le jury |
| Sujets : | |
| Documents associés : | Reproduit comme:
Réseaux de Petri à chronomètres |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin aérotherme | 2007 NANT 2144 | Empruntable | Disponible |
| Magasin aérotherme | 2007 NANT 2144 | Exclu du prêt | disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bibliothèques | Th.2262 bis | Empruntable | Disponible |
| Magasin 3 | Th.2262 | Exclu du prêt | Disponible |