Informations pratiques

Description de la ressource

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)

Domaine(s)

Informations techniques

• 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

Intervenants

Édition

• Université de Valenciennes et du Hainaut-Cambrésis

Diffusion

Cette ressource vous est proposée par :