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’articleAuteur(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.
Déjà abonné ? Se connecter
DOI (Digital Object Identifier)
Présentation
Mise en œuvreArticle inclus dans l'offre
"Automatique et ingénierie système"
(138 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
Cet article est réservé aux abonnés.
Il vous reste 93 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Automatique et ingénierie système"
(138 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
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).
-
...
ANNEXES
Petri Nets World
https://cs.au.dk/cpnets/pn-world/
Laboratoire d’analyse et d’architecture des systèmes (LAAS-CNRS)Agence pour le développement de la productique appliquée à l’industrie (Adepa) HAUT DE PAGE
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 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Automatique et ingénierie système"
(138 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
![Écoutez notre podcast Cogitons Sciences : Intégrer l’IA dans votre entreprise, pour un usage utile et raisonné [L’IA s’invite dans nos métiers #2]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2024/01/CS-IA-ep2.png)
![Écoutez notre podcast Cogitons Sciences : Comment l’IA révolutionne notre façon de travailler ? [L’IA s’invite dans nos métiers #1]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2024/01/IA-ep1.png)
