Rechercher sur le site

Ce site internet est destiné à ceux qui désirent acquérir les savoirs les plus divers tout au long de leur vie.

Les réseaux de Petri

Module indépendant

Ce module présente le formalisme des Réseaux de Petri (RdP), utilisable pour la spécification, la modélisation et l'analyse des Systèmes à Evénements Discrets. On classe dans la catégorie des Systèmes à Evénements Discrets (SED), les systèmes pour lesquels les changements significatifs, appelés événements ont lieu à des instants distincts dans le temps ou temps discrets, par opposition au temps dit continu. Des exemples de tels systèmes sont : les systèmes de production, les réseaux informatiques, les systèmes de trafic. Les changements intervenants dans de tels systèmes sont : démarrage/arrêt de production, envoi/réception d'un message, gestion des feux de circulation...

Dans un premier temps les concepts de base du formalisme sont présentés de manière simple et didactique afin de favoriser la compréhension. Les propriétés comportementales et structurelles des RdP, qui vérifient les propriétés et contraintes propres aux systèmes sont également présentées. La spécification et la modélisation par les RdP, des systèmes complexes peuvent conduire à des modèles relativement complexes, bien qu'une approche modulaire permet de réduire la complexité et la taille des réseaux ; les techniques de réduction des réseaux sont ainsi présentées.

Dans un deuxième temps les RdP-temporiés et RdP-stochastiques sont présentés afin de prendre en compte la dynamique des systèmes, essentielle dans un objectif d'évaluation de performances.

Approche méthodologique pour la spécification formelle des systèmes à événements discrets selon le formalisme des RdP.

Acquérir la démarche d'analyse des systèmes à événements discrets par l'étude des propriétés comportementales et structurelles des RdP.

Une approche à l'analyse des performances de systèmes à événements discrets à partir des extensions des RdP.

Fiche mise à jour le 29/11/2011

- Les inscriptions sont permanentes
- Début de la formation : A compter de l'inscription
- Durée de la formation : 1 mois
- Nombre d'heures apprenant : 32