Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

Ce cours dispense les fondements de la modélisation en réseaux de Petri, dans le domaine des systèmes à événements discrets, par opposition aux systèmes continus. L?objectif de cette formalisation est de donner des outils d?analyse à la fois analytiques (vérification de propriétés, preuve d?invariance) et à la fois par simulation (comportement dynamique). Les réseaux de Petri constituent la base théorique du Grafcet et un outil fondamental en recherche dans le domaine des systèmes à état non continu (productique, communication?).

• Granularité : cours
• Structure : linéaire

"Domaine(s)" et indice(s) Dewey

• Théorie de la récurrence (511.35)

Thème(s)

Informations techniques sur cette ressource pédagogique

• Implémenteur(s) technique(s) : Stéphane DURIEZ
• Configuration conseillée : Pour visionner des animations de réseaux de Petri un lecteur des vidéos au format Real vous est nécessaire, vous pouvez utiliser les logiciels Real Player ou Real Alternative. Vous pouvez télécharger : - La dernière version de RealPlayer (13,1 Mo), en version gratuite, à partir du lien dans le coin inférieur droit de la page : http://fr.real.com/player/?&src=ZG.fr.idx,ZG.fr.rp.rp.hd.def - D'anciennes versions du lecteur Real (pour d'anciennes versions de systèmes d'exploitation) à partir de : http://forms.real.com/real/player/blackjack.html?src=012904info_features_1_0_0_0_0_0 Pour fonctionner le lecteur Real doit être de version minimale G2 (Version 6). RealPlayer existe pour Windows, MacOS, Unix et Linux.
• Type d'interactivité de l'activité pédagogique : passif
• Niveau d'interactivité du document : medium