RESEAUX DE PETRI - APPLICATIONS A LA MODELISATION ET A L'ANALYSE DE SYSTEMES

Horaires :

Pré-requis :

Objectifs :

• Les réseaux de Pétri ont montré leur capacité a bien spécifier et analyser le contrôle des systèmes parallèles aussi bien en informatique qu'en automatique ou en organisation.
• L'objectif du cours est de présenter ce modèle formel, ses propriétés théoriques et son utilité pour spécifier et valider des systèmes pour des applications industrielles.

Contenu

• Réseaux de Petri ordinaires : définitions formelles, représentations et propriétés.
• Propriétés comportementales
• Propriétés structurelles
• Applications à la modélisation et analyse de mécanismes de systèmes : sémaphores, exclusion mutuelle, ordonnancements de tâches, schémas producteurs-consommateurs, partage de fichiers.
• Spécification et validation de systèmes : Schémas de contrôle, modélisation par réseaux de Petri. Applications aux programmes parallèles et aux systèmes distribués.

Moyens pédagogiques particuliers