DEA Concerné : RSD
Encadrement : Bruno Gaujal et Günther Siegel
Courrier électronique : {gaujal, gseigel }@sophia.inria.fr
Téléphone :93 65 76 36
Adresse :INRIA, B.P. 93, 2004 route des Lucioles,
06902 Sophia Antipolis cedex
Laboratoire d'accueil :INRIA Sophia Antipolis, projet SLOOP
Matériel et logiciel utilisé :Station Unix, C++, Prosit.
Connaissances pré-requises :
- C++ (très utile)
- Cours d'option de Simulation parallèle (fortement conseillé)
- Cours d'algorithmique parallèle et distribuée (utile)
- Connaissance des réseaux de Petri (non indispensable)
Objectifs
Conception et réalisation
d'une bibliothèque de classes pour la simulation de réseaux de
Petri, écrite en Prosit.
Description du sujet :
Les réseaux de Petri constituent un modèle graphique pour
représenter des systèmes de productions ou de
télécommunications complexes
à l'aide de composants élémentaires : les places, les transitions
et les jetons.
L'environnement Prosit est un système de simulation à événements
discrets orienté objets intégrant le parallélisme.
Une simulation Prosit peut être vue comme l'exécution concurrente
d'un ensemble d'objets multi-actifs.
Le paradigme objet de Prosit semble bien adapté à la
description
des réseaux de Petri, chacune des entités d'un réseau
pouvant être vue comme un objet.
La réalisation du projet suivra les grandes lignes suivantes
(avec bien sûr de possibles modifications):
- Familiarisation avec les réseaux de Petri (bibliographie
réduite)
- Techniques de simulation discrètes des réseaux de Petri (à lire)
- Apprentissage de Prosit
- Conception et codage des classes élémentaires
- Agrégation en macro-objet dans un but de parallélisation
et d'optimisation (on cherchera à regrouper les composants similaires
et/ou à réduire le nombre de messages et d'objets actifs)
- Génération automatique à partir de l' interface graphique
utilisée
dans le projet.