Bruno Gaujal
gaujal@sophia.inria.fr
93 65 76 36
INRIA, B.P. 93, 2004 route des Lucioles,
06902 Sophia Antipolis cedex
Station Unix, LaTeX.
- Cours d'algorithmique parallèle et distribuée (utile)
- Cours d'option de Simulation parallèle (fortement conseillé)
- Connaissance des réseaux de Petri (non indispensable)
Détermination du degré de parallélisme exploitable dans
les équations récursives qui régissent l'évolution
de Réseaux de Petri.
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.
Lorsque le réseau est temporisé,
chaque tir de transition prend un certain temps.
On peut décrire son évolution temporelle par des équations récursives.
Le but de stage est de bien comprendre la dynamique de ces équations
(essentiellement dans le cas de temps de tirs non constants)
et aussi éventuellement de calculer quel est le degré de parallélisme
exploitable contenu dans ces équations pour finalement écrire un programme
qui utilise cette étude et implémente ces méthodes pour obtenir
une simulation parallèle rapide de Réseaux de Petri.
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 mise en équation des réseaux de Petri (à lire).
- Techniques d'algorithmique parallèles.
- Mettre au point un algorithme et l'implémenter sur un réseau
de stations mis a disposition de l'étudiant.
Page maintenue par Gunther Siegel
Thu Nov 7 09:14:30 MET 1996