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.
Type de document :
Communication dans un congrès
10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15, Nov 2015, Nancy, France. 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15, 2015
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01218242
Contributeur : Eric Rutten <>
Soumis le : mercredi 18 novembre 2015 - 14:06:06
Dernière modification le : mercredi 11 avril 2018 - 01:55:35
Document(s) archivé(s) le : vendredi 28 avril 2017 - 19:22:09

Fichier

ndeye.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01218242, version 1

Collections

Citation

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. 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15, 2015. 〈hal-01218242〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

138