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.
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01218242
Contributor : Éric Rutten <>
Submitted on : Wednesday, November 18, 2015 - 2:06:06 PM
Last modification on : Monday, February 25, 2019 - 4:34:19 PM
Long-term archiving on : Friday, April 28, 2017 - 7:22:09 PM

File

ndeye.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01218242⟩

Share

Metrics

Record views

432

Files downloads

210