Show simple document record

dc.contributor.advisorBoucher, Claude
dc.contributor.authorRaymond, Line
dc.date.accessioned2020-02-26T16:51:56Z
dc.date.available2020-02-26T16:51:56Z
dc.date.created1990
dc.date.issued1990
dc.identifier.isbn0315713739
dc.identifier.urihttp://hdl.handle.net/11143/16479
dc.description.abstractÉtude et analyse mathématique des réseaux de Petri. Étude d'abord, puisque nous présentons de façon générale et avec une vision purement théorique les réseaux de Petri élémentaires, leurs propriétés, leurs langages. Nous répondons à plusieurs questions de décidabilité en condensant les résultats des recherches de Michel Hack. Après avoir réduit et transformé des réseaux de Petri élémentaires, nous reformulons les définitions des abréviations et des extensions de réseaux de Petri les plus utilisées : réseaux à capacité, réseaux colorés, réseaux à arcs inhibiteurs, réseaux avec priorités, réseaux temporisés, réseaux interprétés et réseaux stochastiques. La dernière partie du travail s'intéresse à l'algèbre qui peut être tirée des réseaux élémentaires, puis élargit son champs pour y inclure les réseaux temporisés déterministes. Finalement, la théorie des files d'attente nous permet d'analyser les réseaux de Petri stochastiques et les réseaux M-temporisés.
dc.language.isofre
dc.publisherUniversité de Sherbrooke
dc.rights© Line Raymond
dc.subjectRéseaux de Pétri
dc.titleÉtude et analyse mathématique 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