Retour Date de mise à jour : 22 novembre 2007


Activités d'enseignement


Petri ???


Cours polycopié sur les réseaux de Petri :

Une nouvelle version du cours polycopié est en cours d'élaboration. Il s'agira d'un ensemble de fichiers "PostScript" (un fichier "pdf" par chapitre).


Textes divers

Un court document sur l'analyse des réseaux de Petri temporel qui manquait dans le cours polycopié (versions antérieures à 2001)   :   fichier pdf   /   fichier PostScript compressé par gun zip.

Un court texte parlant des relations entre les réseaux de Petri et le Grafcet. Il a en particulier été écrit pour des étudiants ayant eu une formation sur le Grafcet et découvrant ensuite les réseaux de Petri   :   fichier pdf   /   fichier PostScript compressé par gun zip.   /   fichier PostScript

L'introduction pour le cours IENAC S faisant la relation entre les méthodes formelles (réseaux de Petri par exemple) et les descriptions semi-formelles normalisées comme UML.

Le cours polycopié (Cours Réseaux de Petri, version de janvier 1999 avec corrections mineures) que je distribue aux étudiants est disponible sous la forme d'un fichier pdf ou d'un fichier PostScript (à décompacter par l'utilitaire gunzip) ou d'un fichier PostScript non compressé.

Le cours polycopié (Cours Réseaux de Petri, version de septembre 2001) que je distribue aux étudiants est disponible sous la forme d'un fichier pdf ou d'un fichier PostScript (à décompacter par l'utilitaire gunzip).
Pour économiser le papier, utilisez la version "deux pages par page" : fichier PostScript compressé par gnuzip.

Le cours polycopié (version plus courte) distribuée aux IENAC T ( fichier pdf)

Quelques réflexions sur la modélisation, le texte en français comprend l'exemple des feux de carrefour ("About traffic lights modeling") : fichier pdf ou le fichier PostScript (compressé par gnuzip).

ICI un texte introductif sur les systèmes de production hybrides (21 juillet 2007).


Transparents divers

Les transparents sur UML et réseaux de Petri pour motiver l'approche formelle : fichier fichier pdf ou le fichier PostScript (compressé par gnu zip).

Les transparents de la partie mise en oeuvre du cours donné à l'ENSEEIHT et à l'ENAC : le fichier pdf ou le fichier PostScript (compressé par gnu zip).

Les transparents concernant la modélisation et le système de chariots filoguidés : le fichier pdf ou le fichier pdf (2 par page) ou le fichier PostScript (compressé par gnu zip).

Les transparents de l'introduction du cours pour les IENAC T96 : le fichier pdf ou le fichier PostScript (compressé par gnu zip).

Les transparents sur le Grafcet : le fichier pdf ou le fichier PostScript (compressé par gnu zip).

Vous pouvez également charger les fichiers "PowerPoint" compressés par Winzip (cpc_sim.ppt pour la mise en oeuvre, cpc_mod.ppt pour la modélisation, cpc_intro2.ppt pour l'exemple introductif du cours, cpc_intro1.ppt pour l'introduction générale, cpc_grafcet.ppt pour le Grafcet).

Les transparents du séminaire de l'Ecole Doctorale Systèmes du 10 novembre 2000 (et du 26 juin 2001) sur le raisonnement temporel pour la supervision : réseaux de Petri et Logique Linéaire :
Version "pdf" des fichiers   :   partie 1 (pdf)     partie 2 (pdf)     partie 3 (pdf)
Version "PostScript compressée par gnuzip" des fichiers   :   partie 1 (ps)     partie 2 (ps)     partie 3 (ps)


Les transparents de l'introduction du cours IENAC T96 (diaporama direct).

Sujets d'examens

Janvier 2005 Le sujet et la correction du contrôle donné à l'ENAC (IENAC S03) : le fichier pdf.

Janvier 2005 Le sujet et le corrigé de l'examen donné à l'ENSEEIHT (3e AII) (2004-2005) : le fichier pdf.

Mai 2005 Le sujet et le corrigé de l'examen donné à l'INSA (4e GII) (2004-2005) : le fichier pdf
Le sujet et le corrigé de l'examen donné à l'INSA (4e GII) (2003-2004) : le fichier pdf


Programme du cours

Les réseaux de Petri
(Modélisation et analyse des systèmes à événements discrets)

(1998-1999)

Volume : 18h/20h

1) Introduction :

Il s'agit de fournir une motivation dans le cadre du Génie Informatique et des points d'interaction possible avec d'autres cours.
- Rappels sur le cycle de vie d'un système : de la spécification à l'exploitation. Nécessité des méthodes formelles pour vérifier et valider.
- Historique : logique séquentielle, automates finis et réseaux de Petri.

2) Théorie générale des réseaux de Petri :

Il s'agit de présenter les points principaux de l'aspect le plus formel des réseaux de Petri. La motivation est la vérification, par exemple de certaines propriétés d'une spécification.
Définitions :
- Structure d'un réseau de Petri, notation matricielle,
- Marquage, franchissement d'une transition, transitions en conflit, transitions parallèles, situation de confusion, séquences, ensemble des marquages accessibles,
- Réseau k-borné, vivant, réinitialisable,
- Composantes conservative et invariants de places,
- Composantes répétitives stationnaires et invariants de transitions.
Analyse :
- Décidabilité de la propriété de k-borné,
- Arbre de couverture,
- Analyse par réduction,
- Calcul des invariants,
- Relations entre les propriétés structurelles (invariants) et les bonnes propriétés,
- Analyse de sous-classes spécifiques par recherche des siphons, contrôle des siphons pour l'obtention de réseaux sans blocage.

3) Modélisation de systèmes complexes :

Il s'agit de montrer l'intérêt et les limites du formalisme des réseaux de Petri ordinaires, notamment dans un cadre de Génie Informatique. Les approches introduites ont pour but de contourner les limitations tout en perdant en pouvoir d'analyse formelle. On peut s'appuyer sur un exemple particulier et un outil comme DESIGN/CPN ou MISS-RdP.
- Réseaux de Petri colorés,
- Réseaux de Petri prédicats-transitions,
- Réseaux de Petri à objets,
- Réseaux de Petri t-temporisés et p-temporisés,
- Réseaux de Petri temporels, (une idée du graphe des classes),
- Réseaux de Petri stochastique (une idée du genre d'application),
- Structuration (affinement et composition de réseaux), StateCharts (intérêt pour les situations d'urgence),
D'autres modèles et outils pourront être introduits.


Retour