Génération de règles de coordination à partir de réseaux de Pétri colorés - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Génération de règles de coordination à partir de réseaux de Pétri colorés

Résumé

Cet article présente un environnement de génération de règles de coordination à partir de réseaux de Petri colorés. L’environnement proposé est basé sur un langage dédié appelé cpnDSL. À partir d’une spécification cpnDSL décrivant un système donné, des règles de coordination correctes par construction et directement exécutables dans l’environement LINC sont générées. Un modèle vérifiable pour valider le comportement du système et un modèle graphique pour permettre la discussion entre les différents membres du projet sont également générés. Une étude de cas issue du domaine du transport est présentée pour illustrer l’approche proposée.
Fichier principal
Vignette du fichier
ndeye.pdf (300.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01218242 , version 1 (18-11-2015)

Identifiants

  • HAL Id : hal-01218242 , version 1

Citer

Adja Ndeye Sylla, Maxime Louvel, François Pacull, Eric Rutten. Génération de règles de coordination à partir de réseaux de Pétri colorés. 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15, Nov 2015, Nancy, France. ⟨hal-01218242⟩
294 Consultations
334 Téléchargements

Partager

Gmail Facebook X LinkedIn More