9456 - Réseaux de Pétri

Description bibliographique

Auteur :

Scorletti, G. ; Binet, G. (Université de Caen Basse-Normandie. UFR de Sciences. France)

Éditeur :

Université de Caen Basse-Normandie. France

Page source :

Page personnelle de Gérard Scorletti, http://www.greyc.ensicaen.fr/~scorlett/

Langue :

français

Date de publication :

2006/06/20

Description du contenu

Spécialité :

Electronique, informatique et télécommunications - Théories, méthodes - Théorie des systèmes, automates

Mots clés :

réseau de Petri ; modélisation ; graphe ; algèbre linéaire ; réduction ; réseau de Petri coloré ; réseau de Petri non autonome

Table des matières :

1. Introduction
2. Modélisation par Réseaux de Petri
3. Propriétés des Réseaux de Petri (ordinaires)
4. Etude des propriétés des Réseaux de Petri par graphes et arborescences de marquages
5. Etude des propriétés des Réseaux de Petri par algèbre linéaire
6. Etude des propriétés des Réseaux de Petri par réduction
7. Réseaux de Petri colorés
8. Réseaux de Petri non autonomes

Résumé :

Cette ressource correspond à un cours dispensé aux étudiants du Master électronique électrotechnique automatiquede Caen. L’objectif de ce cours est de présenter la modélisation par réseaux de Petri. Les Réseaux de Petri ont été développés pour permettre la modélisation de classes importantes de systèmes qui recouvrent des classes de systèmes de production, de systèmes automatisés, de systèmes informatiques et de systèmes de communication, pour n’en citer que quelques-uns, afin de permettre leur conception, leur évaluation et leur amélioration. (d'après l'introduction)

Informations pédagogiques

Niveau d'études :

3e cycle

Objectifs pédagogiques :

Savoir modéliser et simuler un système par réseau de Petri.

Accès à la ressource

Format :

PDF
Taille du fichier : entre 500 ko et 1 Mo

Notes :

Document de 105 pages.

URL de référence :

http://www.greyc.ensicaen.fr/~scorlett/Gerard_S/Maitrise_RdP.html

Autres URLs :

http://www.greyc.ensicaen.fr/~scorlett/Gerard_S/Cours_Petri_etudiant_GS_2006.pdf

Ressource copiée dans le cache de l'Infothèque le 18/07/2007

Autres URLs :

/cache/9456/www.greyc.ensicaen.fr/~scorlett/Gerard_S/Cours_Petri_etudiant_GS_2006.pdf

Notice mise en ligne le 17/07/2007