S'inscrire aux newsletters

Article précédent

Commandes à réseaux de Petri - Modélisation

| 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

Article suivant

Outils de modélisation des automatismes séquentiels - Réseaux de Petri

Que contient cette offre ? Une offre 100% en ligne

Une base complète et actualisée d'articles validés par des comités scientifiques

Service de Questions aux experts
et outils pratiques

VOIR L'OFFRE

Quitter la lecture facile

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 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] Commandes à réseaux de Petri- Modélisation Réseaux de Petri Applications des réseaux de Petri . 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] Commandes à réseaux de Petri- Modélisation . 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 Commandes à réseaux de Petri- Modélisation .

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.

Lire l’article

PERMALIEN

https://www.techniques-ingenieur.fr/base-documentaire/automatique-robotique-th16/automatique-sequentielle-42395210/commandes-a-reseaux-de-petri-s7573/

RÉFÉRENCE BIBLIOGRAPHIQUE

Exportez la référence bibliographique

Lire l’article

Lire l'article

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).
...

DANS NOS BASES DOCUMENTAIRES

Systèmes dynamiques hybrides. Modélisation et simulation
Réseaux de Petri
Applications des réseaux de Petri
Spécifications fonctionnelles. Génération automatique de code
Langages pour la description des circuits intégrés

Thèses

BRINZEI (N.) - Contribution à la modélisation et à la commande modulaire des systèmes de production par une approche UML et réseaux de Petri - . Thèse de doctorat, université de Franche-Comté (2003).

AMRAH (A.) - Contribution à l’analyse et à la commande des systèmes à événements discrets par une approche continue : application aux systèmes de production modélisés par réseaux de Petri continus - . Thèse de doctorat, université de Besançon (1998).

MARTEAU (S.) - Commande de systèmes temps réel par réseaux de Petri - . Thèse de doctorat, université d’Angers (1997).

HANZALEK (Z.) - Algorithmes parallèles pour la commande distribuée. Une approche par réseaux de Petri - . Thèse de doctorat, université de Toulouse-III (1997).

BERGÉ (N.) - Modélisation au moyen des réseaux de Petri Temporisés Stochastiques d’une application de contrôle-commande de poste de transformation d’énergie électrique répartie sur le réseau de terrain FIP - . Thèse de doctorat, université de Toulouse-III (1996).

GODON (A.) - Contribution à la commande de systèmes à événements discrets par réseaux de Petri - . Thèse de doctorat, université d’Angers (1996).

HAUT DE PAGE

2 Organismes

Petri Nets World http://www.daimi.au.dk/PetriNets

Laboratoire...

Lire l’article

DÉTAIL DE L'ABONNEMENT :

TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE

Accès aux :

Articles et leurs mises à jour

Nouveautés

Archives

Formats :

HTML illimité

Versions PDF

Site responsive (mobile)

Info parution :

Toutes les nouveautés de vos ressources documentaires par email

DES SERVICES ET OUTILS PRATIQUES

Questions aux experts

Les meilleurs experts techniques
et scientifiques vous répondent

Articles Découverte

La possibilité de consulter des
articles en dehors de votre offre

Dictionnaire technique multilingue

45 000 termes en français, anglais,
espagnol et allemand

Votre site est 100% responsive,
compatible PC, mobiles et tablettes.

FORMULES

	Formule monoposte	Autres formules
Ressources documentaires
Consultation HTML des articles	Illimitée	Illimitée
Téléchargement des versions PDF	5 / jour	Selon devis
Accès aux archives	Oui	Oui
Info parution	Oui	Oui

Services inclus
Questions aux experts (1)	4 / an	Jusqu'à 12 par an
Articles Découverte	5 / an	Jusqu'à 7 par an
Dictionnaire technique multilingue	Oui	Oui
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation.
	Formule 12 mois monoposte 1 470 € HT AJOUTER AU PANIER	Autres formules (Multiposte, pluriannuelle) DEMANDER UN DEVIS