Article de référence | Réf : S7573 v1

Commandes à réseaux de Petri - Mise en œuvre et application

Auteur(s) : Michel COMBACAU, Philippe ESTEBAN, Alexandre NKETSA

Date de publication : 10 mars 2005

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

RÉSUMÉ

La modélisation par réseau de Pétri permet la représentation de systèmes à événements discrets présentant des évolutions brutales de leurs variables d’état, donc toute application à caractère distribué, le cas notamment des systèmes automatiques, systèmes de commande et protocoles de communication. L’utilisation de cet outil débute par la modélisation de la commande à réaliser avec analyse du modèle développé, la commande modélisée est ensuite exécutée. Cet article traite de la première étape.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

Auteur(s)

  • Michel COMBACAU : Professeur, université Paul-Sabatier (Toulouse-III), Laboratoire d’analyse et d’architecture des systèmes (LAAS-CNRS)

  • Philippe ESTEBAN : Maître de conférences, université Paul-Sabatier (Toulouse-III), LAAS-CNRS

  • Alexandre NKETSA : Professeur, université Paul-Sabatier (Toulouse-III), LAAS-CNRS

INTRODUCTION

Les techniques de modélisation ont conduit à l’obtention d’un modèle du comportement de l’application définie par son cahier des charges [1] [3] [4] [5] . La vérification de ce modèle permet de constater (ou non) que son comportement ne trahit pas celui attendu et le décrit correctement [4] [10] . Des retours sur la modélisation ont peut-être été nécessaires, afin d’ajuster la représentation de l’application et de suivre au plus près le fonctionnement requis. Ces étapes sont détaillées dans .

L’étape de mise en œuvre donne une réalité au modèle résultant de tout ce travail de conception et d’analyse : la commande du procédé peut enfin être envisagée. Pour terminer, un exemple d’application est présenté à titre d’illustration.

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-s7573


Cet article fait partie de l’offre

Automatique et ingénierie système

(142 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation

Cet article est réservé aux abonnés.
Il vous reste 93% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(142 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) - BRAMS (G.W.) -   Réseaux de Petri : théorie et pratique  -  . Masson (1983).

  • (2) - DAVID (R.), ALLA (H.) -   Du Grafcet aux réseaux de Petri  -  . Hermès (1992).

  • (3) - DIAZ (M.) -   Les Réseaux de Petri : Modèles fondamentaux  -  . Hermès Science (2001).

  • (4) - PETERSON (J.L.) -   Petri net theory and the modelling of systems  -  . Prentice-Hall (1981).

  • (5) - PROTH (J.M.), XIE (X.) -   Les réseaux de Petri pour la conception et la gestion des systèmes de production  -  . Masson (1995).

  • (6) - JENSEN (K.) -   Coloured Petri Nets  -  . Lecture Notes in Computer Science, 254, Advances in Petri Nets 1986, pp. 248-299, Springer-Verlag (1987).

  • ...

1 Organismes

Petri Nets World https://cs.au.dk/cpnets/pn-world/

Laboratoire d’analyse et d’architecture des systèmes (LAAS-CNRS) http://www.laas.fr

Agence pour le développement de la productique appliquée à l’industrie (Adepa) http://vigie.adepa.asso.fr

HAUT DE PAGE

2 Logiciels

TINA (Time Petri Net Analyzer) - http://www.laas.fr/tinaCet outil académique développé au LAAS-CNRS intègre un éditeur graphique de réseaux de Petri (ordinaires et temporels), un outil de construction de graphes des marquages accessibles et de graphes de classes d’états des réseaux de Petri temporels, ainsi qu’un analyseur structurel déterminant les propriétés d’invariance et de consistance du réseau analysé. Il est disponible sur plates-formes Sun, Linux et MS-Windows.

MISS-RdP (Modélisation Interactive et de Simulation de Systèmes par Réseaux de Petri) - http://www.laas.fr/~robert/missrdp.htmlCet outil est commercialisé par la société IXI. Il a été développé en partenariat avec Cena, Cnes, Alcatel Espace, Aérospatiale D3S et LAAS-CNRS (conseiller scientifique). Il permet la modélisation de systèmes modulaires et complexes en se basant sur les réseaux de Petri temporels stochastiques interprétés et colorés. Partant d’une description graphique des comportements...

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(142 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS