Analyse des propriétés temporelles des graphes d'événements valués continus
Les réseaux de Petri (RdP) sont un formalisme puissant de modélisation et d'évaluation des systèmes dynamiques complexes. Une classe particulière des RdP, que sont les graphes d'événements valués (GdEV) fortement connexes, permet plus particulièrement d'analyser les systèmes cycliques...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Analyse des propriétés temporelles des graphes d'événements valués continus / Mustapha Mostefaoui; sous la dir.de Alla Hassane |
Publié : |
[S.L.] :
[s.n.]
, 2001 |
Description matérielle : | 113 p. |
Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2001 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
LEADER | 02453cam a2200433 4500 | ||
---|---|---|---|
001 | PPN073879185 | ||
003 | http://www.sudoc.fr/073879185 | ||
005 | 20240531154500.0 | ||
029 | |a FR |b 2001NANT2100 | ||
035 | |a (OCoLC)491528127 | ||
100 | |a 20030826d2001 k y0frey0103 ba | ||
101 | 0 | |a fre |d fre |d eng | |
102 | |a FR | ||
105 | |a y m ||||| | ||
106 | |a r | ||
200 | 1 | |a Analyse des propriétés temporelles des graphes d'événements valués continus |b Texte imprimé |f Mustapha Mostefaoui |g sous la dir.de Alla Hassane | |
210 | |a [S.L.] |c [s.n.] |d 2001 | ||
215 | |a 113 p. |d 30 cm | ||
310 | |a Publication autorisée par le jury | ||
320 | |a Bibliogr. p. 110-113 | ||
328 | 0 | |b Thèse de doctorat |c Automatique et informatique appliquée |e Nantes |d 2001 | |
330 | |a Les réseaux de Petri (RdP) sont un formalisme puissant de modélisation et d'évaluation des systèmes dynamiques complexes. Une classe particulière des RdP, que sont les graphes d'événements valués (GdEV) fortement connexes, permet plus particulièrement d'analyser les systèmes cycliques sans conflit structurel. Lorsque la notion de flux apparaît (système fluide, structure à haut débit, etc.) il est possible d'utiliser un modèle GdEV continu (GdEVC). Le plus souvent, les méthodes d'analyse des propriétés temporelles des RdP continus se basent sur le développement du graphe d'évolution qui représente la dynamique du système... | ||
606 | |3 PPN027674401 |a Petri, Réseaux de |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN034589953 |a Analyse temporelle |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN050283545 |a Systèmes dynamiques hybrides |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
686 | |a 004 |2 TEF | ||
686 | |a 620 |2 TEF | ||
700 | 1 | |3 PPN073769924 |a Mostefaoui |b Mustapha |4 070 | |
702 | 1 | |3 PPN029943213 |a Alla |b Hassane Lotfi |f 1952-.... |c professeur en automatique-productique |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
801 | 3 | |a FR |b Abes |c 20171204 |g AFNOR | |
979 | |a ECN | ||
979 | |a SCI | ||
915 | |5 441092104:184187451 |b 1161529142 | ||
915 | |5 441092306:184497094 |b 1142231440 | ||
930 | |5 441092104:184187451 |b 441092104 |j u | ||
930 | |5 441092306:184497094 |b 441092306 |l 535531 |a TH 2001 |j u | ||
998 | |a 30032 |