Les réseaux de Petri: modèles fondamentaux

Auteur(s) : TRENTESAUX DAMIEN    07-06-2006  Éditeur(s) : Université de Valenciennes et du Hainaut-Cambrésis   ;     Description : 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?). Mots-clés libres : Petri, Modélisation, Systèmes à événements, Colorisation, temporisation Classification générale : Mathématiques Accès à la ressource : http://stockage.univ-valenciennes.fr/slide/files/o... Version : V1.1 Etat d'achèvement : revised Conditions d'utilisation : Libre d'accès pour un usage non commercial. Modifications du contenu non autorisé sans l'accord de l'auteur. Citations autorisées sous réserve de la mention de l'auteur.

DONNEES PEDAGOGIQUES Type pédagogique : cours / présentation Granularité : cours Niveau : enseignement supérieur Public cible : apprenant Type d'interactivité de l'activité pédagogique : passif Niveau d'interactivité du document : medium DONNEES TECHNIQUES Date de publication : 09-09-2010 Format : text/html Taille : 8.74 Mo Exigences techniques : 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.

Exporter au format XML