Conception d'un formalisme de simulation issu d'une extension des réseaux de Petri

Abstract

Dans ce mémoire nous proposons un formalisme de simulation à partir duquel un langage de simulation discrète pourra être développé. Ce formalisme, appelé réseaux places/ transitions étendus modifiés, a été développé à partir d'une extension des réseaux de Petri, les réseaux places / transitions étendus de M.T. Özsu. Nous donnons la définition complète des deux formalismes, ainsi qu'une brève revue de concepts et de résultats portant sur les réseaux de Petri. Nous définissons aussi une notation associée à notre formalisme, accompagnée de trois exemples de modèles. Nous modélisons par la suite les principaux éléments d'un langage de simulation bien connu, GPSS, suivi d'un exemple de modèle. Le mémoire se termine par un aperçu des points importants qui guideront le développement d'un langage de simulation à partir de notre formalisme.