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
Exemple d’application : cellule robotisée de contrôle
English
1. Mise en œuvre
1.1 Transformation du modèle
L’application modélisée et vérifiée répond aux attentes, mais sa mise en œuvre peut requérir des modifications. En effet, il suffit de considérer, par exemple, que les activités de base retenues dans la modélisation sont physiquement réparties sur plusieurs matériels distincts. Une mise en œuvre distribuée du réseau de Petri est alors nécessaire pour tenir compte de cette réalité.
La transformation du modèle obtenu peut être envisagée sous plusieurs aspects.
HAUT DE PAGE1.1.1 Décomposition fonctionnelle du modèle
Le modèle est une représentation du fonctionnement attendu. Dans ce sens, il exprime des fonctions du système, définies explicitement dans le cahier des charges, ou bien conséquentes de la juxtaposition de contraintes élémentaires.
L’utilisateur/concepteur peut décider de découper le modèle afin de mettre en exergue les fonctions qu’il a identifiées, comme par exemple « gestion de la ressource partagée », « évacuation des produits ».
Il décide ainsi de façon pragmatique d’un découpage fonctionnel modulaire regroupant au sein d’un même module les places et transitions du réseau nécessaires à la représentation d’une fonction. Son expérience lui sert de support pour mener la décomposition, et la vision graphique du réseau de Petri est un bon soutien pour isoler ces comportements, dans la mesure où une vision globale est envisageable. Pour cela, le réseau de Petri doit conserver une dimension « lisible », comme cela a été proposé dans (§ 1.1.3), le format A4 étant une bonne base pour garantir cette lisibilité.
Par ailleurs, le découpage du modèle peut être abordé avec un point de vue « matériel » : la priorité est donnée ici aux matériels du système modélisé. La mise en œuvre du réseau de Petri a pour objectif d’effectuer...
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
Mise en œuvre
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
