COAST : des réseaux de Petri à la planification assistéeReport as inadecuate




COAST : des réseaux de Petri à la planification assistée - Download this document for free, or read online. Document in PDF available to download.

1 LSV - Laboratoire Spécification et Vérification Cachan 2 LIPN - Laboratoire d-Informatique de Paris-Nord

Résumé : COAST est un outil d-assistance à la planification militaire. Son architecture distribuée comprend un serveur constitué d-un moteur d-analyse de réseaux de Petri tandis que l-interface graphique fournie par le client permet de masquer l-utilisation des méthodes formelles. Les synchronisations entre tâches à planifier sont un aspect essentiel de COAST. Dans cet article, après une présentation générale de la problématique et de l-outil, nous décrivons les synchronisations, montrons comment elles sont modélisées et implantées.





Author: Sébastien Bardin - Laure Petrucci -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents