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

Cet article presente un environnement de generation de regles de coordination a partir de reseaux de Petri colores. L’environnement propose est base sur un langage dedie appele cpnDSL. A partir d’une specification cpnDSL decrivant un systeme donne, des regles de coordination correctes par construction et directement executables dans l’environement LINC sont generees. Un modele verifiable pour valider le comportement du systeme et un modele graphique pour permettre la discussion entre les differents membres du projet sont egalement generes. Une etude de cas issue du domaine du transport est presentee pour illustrer l’approche proposee.