Bibliographie & annexes
Présentation
English
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.
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Automatique et ingénierie système
(139 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
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Mise en œuvre
English
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(139 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
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
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...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(139 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
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
