Colloque

Moucles élaborés à partir des réseaux de Petri

Catherine Bouvet

Membre a labase

Catherine Bouvet

Résumé du colloque

Pour répondre au besoin d'un langage de simulation fondé sur des bases théoriques fermes, nous avons choisi un modèle mathématique qui peut être représenté à l'aide d'un graphe: les réseaux de Petri. Il existe en fait plusieurs types de réseaux de Petri. Les abréviations et les extensions des Rdp sont obtenues en enrichissant le modèle standard d'un élément tel que des durées, des capacités ou un environnement constitué de variables. (Les extensions ont une puissance de modélisation supérieure à celle des abréviations.) Ces modèles permettent au modélisateur de ne représenter aisément qu'un aspect des systèmes, aussi avons-nous établi la définition formelle des modèles regroupant plusieurs de ces aspects. Ces modèles sont obtenus en combinant plusieurs abréviations et extensions. (Cette combinaison ne présente pas de problème particulier car chaque modèle appartient à la classe des abréviations ou des extensions puis se convertit en tout autre modèle de la même classe. Il est alors possible de déterminer pour chacun de ces nouveaux modèles proposés, les éléments d'une extension équivalente.) Nous présenterons les réseaux de Petri, les principales abréviations et extensions, ainsi que la définition générale et des exemples de chacune des catégories de ces nouveaux modèles.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Développement d'interfaces homme/machine pour des applications militaires

Jean-Claude St-Jacques

Requêtes en langues naturelles aux bases de données

Cao Lieu Nguyen

L'automatisation des opérations graphiques dans un poste de commandement

Denis Cotin

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Moucles élaborés à partir des réseaux de Petri

Catherine Bouvet