Titre : | Outil pour les réseaux de Petri stochastiques reconfigurables |
Auteurs : | Nacereddine Kharfallah, Auteur ; Samir Tigane, Directeur de thèse |
Type de document : | Monographie imprimée |
Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2018 |
Format : | 1 vol. (66 p.) / 30 cm |
Langues: | Français |
Mots-clés: | réseaux de Petri,stochastique,reconfigurable,transformation,dépliage |
Résumé : |
Notre travail,est la création d’un outil pour les réseaux de Petri stochastique reconfigurable (R-SP Ns) ; cet outil, est un objet créé en langage Javascript configurable pour être utilisé dans une page web, ont utilisant un navigateur web pour son exécution ; où la modélisation de R-SPNs se fait dans l’interface web, puis l’envoie de sa structure au serveur pour l’application de l’algorithme de transformation (dépliage) en réseaux de Petri stochastique (SPN) équivalent, la nouvelle structure de ce dernier sera renvoyé à l’outil pour être remodélisées automatiquement ; et parmi nos butes aussi sont le gain du temps d’exécution et l’espace mémoire. |
Sommaire : |
Introduction générale Réseaux Petri Stochastiques Introduction Réseaux de Petri (RdP) Introduction Structure Modélisation graphique Places, transitions et arcs: Marquages Franchissement de transitions Réseaux particuliers propriétés des réseaux de Petri Réseaux bornés et/ou binaires Vivacité Quasi vivacité Blocage État d'accueil et réseaux réinitialisable Graphe des marquages et de couverture Arbre et graphe des marquages accessibles Arbre et graphe de couverture Méthodes d'analyse Variable aléatoire La probabilité : Variables aléatoires continue : Variables aléatoires discrètes : Chaînes de Markov Définition formelle Probabilités de transition Pourquoi étudier ce modèle ? Modélisation par des chaînes de Markov Définition Propriété de Markov Représentation graphique Chaînes de Markov à temps discret DTMC : Présentation Intervalle d’observation Matrice de transition Chaînes de Markov à temps continu CTMC : Présentation Intervalle de temps Lois exponentielles Distribution sur R≥0 Propriété “sans mémoire” Les lois exponentielles Propriétés Irréductibilité Chaîne de Markov irréductible: Périodicité : Chaîne de Markov apériodique: Récurrence: Ergodicité: Chaîne de Markov ergodique: Analyse de performance : Type d’analyse: Évolution du système Cas ergodique Chaînes de Markov à temps discret Chaînes de Markov à temps continu Réseaux de Petri stochastique (SPN) : [7] Réseaux de Petri stochastiques généralisés (GSPN) : [8] Chapitre II.Reconfiguration dans les réseaux de Petri Introduction Les réseaux de Petri reconfigurables Chapitre III.Reconfiguration dans les réseaux de Petri Stochastique Introduction Définition formelle Preuves: Exemple illustratif Chapitre IV.Mise en œuvre Introduction. Présentation de l’outil: Diagramme de cas d’utilisation Architecture global Côté Utilisateur Côté serveur Architecture détaillé Structure. Interface principale: L’objet «Drawing»: L’extension «ext_reconfig» Module serveur Interfaces de l’outil: Conclusion générale Bibliographie Annexes |
Disponibilité (1)
Cote | Support | Localisation | Statut |
---|---|---|---|
MINF/353 | Mémoire master | bibliothèque sciences exactes | Empruntable |