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:
| 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 |
| LEADER | 03789clm a2200421 4500 | ||
|---|---|---|---|
| 001 | PPN140240144 | ||
| 003 | http://www.sudoc.fr/140240144 | ||
| 005 | 20240531154500.0 | ||
| 035 | |a (OCoLC)690831807 | ||
| 100 | |a 20100202d2007 k y|frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a v 00||| | ||
| 135 | |a |r||||||a|||| | ||
| 200 | 1 | |a Réseaux de Petri à chronomètres |b Ressource électronique |e temps dense et temps discret |f Morgan Magnin |g sous la direction d'Olivier H. Roux |g co-encadrant Pierre Molinaro | |
| 210 | |a [S.l.] |c [s.n.] |d 2007 | ||
| 230 | |a Données textuelles | ||
| 320 | |a Références bibliographiques | ||
| 325 | 1 | |a La thèse papier est la seule version officielle | |
| 328 | |b Thèse de doctorat |c Automatique et informatique appliquée |e Nantes |d 2007 | ||
| 330 | |a 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 le temps discret l'assimile à une grandeur discrète. Les applications physiques évoluent par rapport au temps physique qui est continu ; toutefois, l'évolution du procédé n'est en général observée par le système informatique qui le pilote qu'à des instants particuliers (échantillonnage ou observations sporadiques). De plus, le système de pilotage est composé de tâches qui sont exécutées sur un (ou plusieurs) processeur(s) dont le temps physique est discret. Le recours à un temps dense lors de la modélisation conduit donc à une surapproximation du système informatique. Mais l'intérêt majeur du temps dense réside dans les abstractions symboliques associées, pratiques à mettre en oeuvre et contenant l'explosion combinatoire des états. Nous avons commencé par améliorer les méthodes de calcul de l'espace d'états en temps dense. Nous avons ensuite établi une classification des réseaux de Petri en temps discret. Nous avons proposé une méthode efficace de calcul énumératif de l'espace d'états de modèles en temps discret. Comme toute méthode purement énumérative, celle-ci souffre toutefois de l'explosion combinatoire du nombre d'états. C'est pourquoi nous avons conçu une méthode symbolique permettant de calculer l'espace d'états d'un modèle en temps discret en adaptant les techniques habituellement réservées au temps dense. | ||
| 455 | | | |0 139437908 |t Réseaux de Petri à chronomètres |o temps dense et temps discret |f Morgan Magnin |d 2007 |p 1 vol. (189 f.) | |
| 606 | |3 PPN027674401 |a Petri, Réseaux de |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 2 | |a Systèmes temps réel/ Temps dense/ Temps discret/ Vérification/ Expressivité | |
| 700 | 1 | |3 PPN136842836 |a Magnin |b Morgan |f 1980-.... |4 070 | |
| 701 | 1 | |3 PPN109176294 |a Roux |b Olivier Henri |f 19..-.... |c maître de conférences IRCCyN |4 727 | |
| 701 | 1 | |3 PPN08696237X |a Molinaro |b Pierre |4 727 | |
| 711 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 295 |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 295 |
| 711 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 295 |
| 711 | 0 | 2 | |3 PPN113164726 |a Institut de recherche en communications et cybernétique |c Nantes |f 1958-2017 |4 295 |
| 801 | 3 | |a FR |b Abes |c 20230206 |g AFNOR | |
| 856 | 4 | |u https://archive.bu.univ-nantes.fr/pollux/show/show?id=006a7b1c-26bd-451f-a65a-1ee889ff0f4c |2 Accès au texte intégral | |
| 979 | |a SCI | ||
| 930 | |5 441092104:387234624 |b 441092104 |j u | ||
| 998 | |a 578164 | ||