Show simple document record

dc.contributor.advisorBoucher, Claude
dc.contributor.authorGagné, Jean
dc.date.accessioned2020-02-26T16:51:49Z
dc.date.available2020-02-26T16:51:49Z
dc.date.created1990
dc.date.issued1990
dc.identifier.isbn0315713879
dc.identifier.urihttp://hdl.handle.net/11143/16477
dc.description.abstractDans 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.
dc.language.isofre
dc.publisherUniversité de Sherbrooke
dc.rights© Jean Gagné
dc.subjectRéseaux de Pétri
dc.titleConception d'un formalisme de simulation issu d'une extension des réseaux de Petri
dc.typeMémoire
tme.degree.disciplineMathématiques
tme.degree.grantorFaculté des sciences
tme.degree.levelMaîtrise
tme.degree.nameM. Sc.


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record