Titre :	Développement d’un environnement de simulation des réseaux de petri
Type de document :	document multimédia
Auteurs :	Imane Benmiloud, Auteur ; Souad Matallah, Auteur ; Youcef Ouinten, Directeur de thèse
Editeur :	Laghouat : Université Amar Telidji - Département d'informatique
Importance :	non paginé
Accompagnement :	1 disque optique numérique (CD-ROM)
Note générale :	Option : Systèmes parallèles et distribués
Langues :	Français
Mots-clés :	Simulation  Réseaux de petri
Résumé :	Les réseaux de petri (RdP) constituent un outil très bien adapté à la modélisation et l’analyse des systèmes complexes présentant de la concurrence et de la synchronisation, dû à leur complexité pour les grands systèmes on a besoin de les simuler. La simulation est un outil très puissant dans l'étude et la résolution d'un problème réel complexe dont la solution est souvent trop compliquée ou impossible. L'utilisation d'un bon simulateur peut faciliter la construction et la conduction d'une simulation et libère, ainsi, l'analyste de la tâche de programmation. Dans ce mémoire, nous abordons les fondements des réseaux de petri et de la simulation; et nous présentons la conception et la réalisation d'un simulateur des réseaux de petri temporisés en utilisant l'approche des trois phases. Nous avons choisi une approche orientée objet pour la conception du simulateur. Pour décrire cette conception nous avons choisi d'utiliser UML. La réalisation a été faite à l’aide du langage de programmation PASCAL sous l'environnement Delphi de BorlandTM. Ce travail nous a conduit à la réalisation d'un simulateur des réseaux de petri qui offre aux utilisateurs un outil graphique puissant pour analyser les systèmes modélisés à l’aide des RdP. Cet environnement de simulation permet la réalisation graphique d’un réseau de petri, ainsi que sa simulation et de visualiser les statistiques à des fins d'analyse.
note de thèses :	Mémoire d'ingénieur d'état en informatique

Développement d’un environnement de simulation des réseaux de petri [document multimédia] / Imane Benmiloud, Auteur ; Souad Matallah, Auteur ; Youcef Ouinten, Directeur de thèse . - Laghouat : Université Amar Telidji - Département d'informatique, [s.d.] . - non paginé + 1 disque optique numérique (CD-ROM).
Option : Systèmes parallèles et distribués
Langues : Français

Mots-clés :	Simulation  Réseaux de petri
Résumé :	Les réseaux de petri (RdP) constituent un outil très bien adapté à la modélisation et l’analyse des systèmes complexes présentant de la concurrence et de la synchronisation, dû à leur complexité pour les grands systèmes on a besoin de les simuler. La simulation est un outil très puissant dans l'étude et la résolution d'un problème réel complexe dont la solution est souvent trop compliquée ou impossible. L'utilisation d'un bon simulateur peut faciliter la construction et la conduction d'une simulation et libère, ainsi, l'analyste de la tâche de programmation. Dans ce mémoire, nous abordons les fondements des réseaux de petri et de la simulation; et nous présentons la conception et la réalisation d'un simulateur des réseaux de petri temporisés en utilisant l'approche des trois phases. Nous avons choisi une approche orientée objet pour la conception du simulateur. Pour décrire cette conception nous avons choisi d'utiliser UML. La réalisation a été faite à l’aide du langage de programmation PASCAL sous l'environnement Delphi de BorlandTM. Ce travail nous a conduit à la réalisation d'un simulateur des réseaux de petri qui offre aux utilisateurs un outil graphique puissant pour analyser les systèmes modélisés à l’aide des RdP. Cet environnement de simulation permet la réalisation graphique d’un réseau de petri, ainsi que sa simulation et de visualiser les statistiques à des fins d'analyse.
note de thèses :	Mémoire d'ingénieur d'état en informatique