Auteur
HAMDANI, Abdia
Directeur de thèse
Abdeli, A. (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Analyse des systèmes temps réel préemptifs
Mots clés
Temps réel (informatique) ; Petri, Réseaux de ; Graphes, Théorie des
Résumé
Le but de ce mémoire est de présenter un panorama des méthodes d'analyse disponibles pour les réseaux de Petri T-temporels et discuter leur mise en œuvre avec une étude comparative, d'un autre, d’un autre coté, on s'intéresse aux systèmes préemptifs et l'abstraction de l'espace d'états des réseaux de Petri étendus à chronomètres. Nous nous intéressons plus particulièrement au modèle des réseaux de Petri à arcs inhibiteurs ITPN (Inhibitors arcs Time Petri Nets). Nous proposons dans la suite, une adaptation simple du graphe de classes en modeC, avec sémantique forte préservant, non seulement les propriétés CTL (Computation Tree Logic) mais également les contraintes temporelles quantitatives du modèle pour prendre en considération la préemption.
Date de soutenance
16/19/2013
Cote
004.33
Pagination
144 p.
Illusatration
ill.
Format
30 cm.
Notes
Support papier accompagné d'un CD-Rom ; Bibliogr. p. 127-132
Statut
Traitée