cours / présentation

Les réseaux de Petri : modèles fondamentaux

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?invarian...

Date de création :

07.06.2006

Auteur(s) :

Damien Trentesaux

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation
Niveau : enseignement supérieur
Contenu : ressource interactive, texte
Public(s) cible(s) : apprenant
Document : Document HTML
Poids : 8.74 Mo
Droits d'auteur : pas libre de droits, gratuit
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.

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)

  • Principes généraux
  • Généralités, philosophie, théorie des mathématiques
  • Mathématiques inductives déductives

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 et diffusion

Intervenants

Implémenteur(s) technique(s) : Stéphane DURIEZ
Créateur(s) de la métadonnée : Damien TRENTESAUX, Celine Faure
Validateur(s) de la métadonnée : Yohan Colmant

Édition

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

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Fiche technique

Identifiant de la fiche : http://orioai.univ-valenciennes.fr/uid/uvhc-ori-oai-wf-1-11
Identifiant OAI-PMH : oai:univ-valenciennes.fr:uvhc-ori-oai-wf-1-11
Version : V1.1
Statut de la fiche : revised
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Voir aussi

UNIT
UNIT
01.03.2009
Description : Première partie du module "Analyse de risques : identification et estimation" consacrée aux démarches d'analyse de risques et aux méthodes qualitatives d'analyse de risques. En replaçant l'analyse de risques dans le contexte industriel général qui l'a consacré, on propose tout d'abord de rappeler ...
  • génie civil
  • analyse de risque
  • défaillance
  • méthode qualitative
  • prévention des risques
  • occurrence d'un danger
  • conséquences d'un danger
  • modélisation
  • sûreté de fonctionnement
  • modèles d'états-limites
  • comportement des matériaux
  • analyse du système
  • arbre des causes
  • diagramme de ...
UNIT
UNIT
15.07.2019
Description : La colorisation d’archives est couramment utilisée dans le milieu audiovisuel pour restaurer et rendre plus réalistes des vidéos anciennes. Elle nécessite un travail manuel fastidieux qu'il est actuellement difficile d'automatiser. Quelles en sont les raisons ?
  • colorisation image
  • apprentissage automatique
  • algorithme