Abstract FR:

Présentation d'une approche méthode de conception rigoureuse des systèmes de commande répartis, qui s'appuie sur : une démarche globale, 4 modèles de représentation et 2 outils (Petri-C et Petri-S). Les caractéristiques essentielles de cette approche résident dans le fait de s'imposer des règles de construction et de transformation mécanisables et dans la modélisation de l'environnement commandé et du flux d'activité