URI http://orioai.univ-valenciennes.fr/uid/uvhc-ori-oai-wf-1-11 Les réseaux de Petri : modèles fondamentaux fre 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?). Petri Modélisation Systèmes à événements Colorisation temporisation LOMv1.0 linear LOMv1.0 3 LOMFRv1.0 ressource interactive LOMFRv1.0 texte V1.1 LOMv1.0 revised LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Trentesaux;Damien;;; FN:Damien Trentesaux EMAIL;TYPE=INTERNET:damien.trentesaux@univ-valenciennes.fr ORG:Université de Valenciennes et du Hainaut-Cambrésis END:VCARD 2006-06-07 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:Université de Valenciennes et du Hainaut-Cambrésis;;;; FN:Université de Valenciennes et du Hainaut-Cambrésis EMAIL;TYPE=INTERNET: ORG:Université de Valenciennes et du Hainaut-Cambrésis END:VCARD 2006-06-07 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N:DURIEZ;Stéphane;;; FN:Stéphane DURIEZ EMAIL;TYPE=INTERNET:stephane.duriez@univ-valenciennes.fr ORG:Université de Valenciennes et du Hainaut-Cambrésis END:VCARD 2006-06-07 URI http://orioai.univ-valenciennes.fr/uid/uvhc-ori-oai-wf-1-12 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:Colmant;Yohan;;; FN:Yohan Colmant ORG:Université de Valenciennes et du Hainaut-Cambrésis URL:http://www.univ-valenciennes.fr UID:ycolmant EMAIL;TYPE=INTERNET: END:VCARD 2010-09-09 LOMv1.0 creator BEGIN:VCARD N:TRENTESAUX;Damien FN:Damien TRENTESAUX EMAIL;TYPE=INTERNET:damien.trentesaux@univ-valenciennes.fr ORG:Université de Valenciennes et du Hainaut-Cambrésis END:VCARD 2008-04-28 LOMv1.0 creator BEGIN:VCARD VERSION:3.0 N:Faure;Celine FN:Celine Faure ORG:Université de Valenciennes et du Hainaut-Cambrésis URL:http://www.univ-valenciennes.fr END:vcard 2008-05-02 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre text/html 9161183 http://stockage.univ-valenciennes.fr/slide/files/orioai/20060607TrentesauxPetri/index.html 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. LOMv1.0 expositive LOMv1.0 lecture LOMv1.0 medium LOMv1.0 learner LOMv1.0 higher education LOMv1.0 no LOMv1.0 yes 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. LOMv1.0 discipline Classification UNIT 1208 Modélisation et simulation - Autres LOMv1.0 discipline DDC 22nd ed CDD 22e éd. 511.35 Théorie de la récurrence Pétri, Réseaux de LOMv1.0 discipline Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr UNIT Université Numérique Ingénierie et Technologie