Méthodologie de modélisation et simulation de systèmes complexes décrits par réseaux de Petri colorés PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Méthodologie de modélisation et simulation de systèmes complexes décrits par réseaux de Petri colorés PDF full book. Access full book title Méthodologie de modélisation et simulation de systèmes complexes décrits par réseaux de Petri colorés by Francis Martin. Download full books in PDF and EPUB format.
Author: Francis Martin
Publisher:
ISBN:
Category :
Languages : fr
Pages : 376
Get Book Here
Book Description
PRESENTATION D'UN OUTIL GRAPHIQUE DE TYPE RESEAU DE PETRI COLORE POUR LA SIMULATION DES SYSTEMES SEQUENTIELS COMPLEXES
Author: Francis Martin
Publisher:
ISBN:
Category :
Languages : fr
Pages : 376
Get Book Here
Book Description
PRESENTATION D'UN OUTIL GRAPHIQUE DE TYPE RESEAU DE PETRI COLORE POUR LA SIMULATION DES SYSTEMES SEQUENTIELS COMPLEXES
Author: Francis Martin
Publisher:
ISBN:
Category :
Languages : fr
Pages : 376
Get Book Here
Book Description
Author: M.B. Zaremba
Publisher: Elsevier
ISBN: 1483298841
Category : Technology & Engineering
Languages : en
Pages : 517
Get Book Here
Book Description
These proceedings contain more than 80 of the best papers presented at the INCOM '92 Symposium, and relate to the vast changes which are occurring worldwide in manufacturing technology. Research oriented technical papers cover subjects such as: simulation of manufacturing processes; sensor based robots; information systems; general aspects of CIM and manufacturing networks.
Author: Mihaela Mares
Publisher:
ISBN:
Category :
Languages : fr
Pages : 141
Get Book Here
Book Description
Ce mémoire traite de la modélisation et de l'analyse des systèmes à événements discrets (SED). Leur théorie comporte une grande variété de classes de problèmes et d'approches de modélisation, sans qu'il en existe une méthode universelle de modélisation et d'analyse. Nous avons choisi d'utiliser les réseaux de Petri, un outil mathématique et graphique, parce qu'ils permettent a la fois la spécification fonctionnelle, la modélisation et l’évaluation des SED. Les réseaux de Petri colorés (RdPC) en sont une évolution qui autorise une description plus concise et plus générale en représentant de façon unique les parties similaires que comportent souvent les systèmes réels Toutefois, leur analyse est délicate et ils sont mal adaptés à la modélisation de séquences C'est la raison pour laquelle nous avons introduit les RdP Z/pZ, définis sur un corps de caractéristique non nulle ; ils se prêtent bien à la modélisation de systèmes cycliques et sont adaptés à la prise en compte de caractéristiques temporelles. Nous en avons présenté une méthode générale de détermination des invariants de marquage et de franchissement. Nous avons également abordé des problèmes d'ordonnancement, particulièrement ceux d'atelier qui sont des problèmes généraux à contraintes de ressources renouvelables. Les RdP généralisés temporisés modélisent avec un seul formalisme les contraintes potentielles et de ressources ; ils sont un bon outil de simulation et permettent d'obtenir des résultats analytiques dans le cas des problèmes cycliques. L'avantage du formalisme des RdP Z/pZ est que le changement de la politique d'ordonnancement implique seulement une modification des polynômes et du marquage initial, la structure du réseau restant inchangée. L’intégration d'une temporisation unitaire des jetons colorés permet de plus de modéliser la préemption par le biais d'un changement de séquence. Puisqu'il est difficile d'analyser un RdP complexe (généralisé ou coloré) par les méthodes usuelles, nous avons adopté une démarche de modélisation modulaire qui peut aussi servir à analyser des RdP existants en les décomposant en éléments simples. Cette synthèse systématique utilise des RdP connus et les compose de telle façon que leurs propriétés soient conservées. Cette méthode d'analyse graphique ne nécessite pas de calcul.
Author: Hassane Abouaissa
Publisher:
ISBN:
Category :
Languages : fr
Pages : 181
Get Book Here
Book Description
Dans la plupart des applications industrielles, les difficultés rencontrées lors de la conception des systèmes de commande sont principalement liées à la complexité et à la nature des procédés physiques à commander. Les travaux présentés dans ce mémoire de thèse visent à réduire ces difficultés dans le cas de la commande des systèmes complexes discrets et continus. Ainsi, la contribution porte sur le développement d'une méthologie de conception basée sur l'utilisation conjointe des réseaux de Petri et des bond-graphs. Après une synthèse des méthodes et outils les plus utilisés dans le donmaine industriel, il est proposé un ensemble de critères de choix intégrant le concept d'ingénierie simultanée. A la lumière de ces critères, les réseaux de Petri colorés associés au langage fonctionnel QPN-ML apparaissent comme une solution intéressante dans le cadre de l'étude. Dans ce contexte, un ensemble de modèles génériques a été introduit pour représenter d'une façon claire et réaliste les composants des systèmes de commande. La nature des procédés physiques à commander a dicté par ailleurs le choix des bond-graphs pour modéliser et analyser le comportement dynamique du système. L'introduction de ceux-ci a nécessité, dans un souci d'unification, de dégager des règles de transformation des modèles bond-graphs en réseaux de Petri colorés, à la base de la méthodologie. La méthodologie de conception développée permet la validation des résultats par simulation, dè les phases préliminaires, à l'aide .de modèles directement exécutables. Les modèles, des applications choisies, ont été implémentés à partir du logiciel Design/CPN.
Author: M. B. Zaremba
Publisher:
ISBN:
Category : Automation
Languages : en
Pages : 404
Get Book Here
Book Description
Author: Frédéric Bousseau
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Mihaela Mares
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Frédéric Bousseau
Publisher:
ISBN:
Category :
Languages : fr
Pages : 153
Get Book Here
Book Description
L’étude des divers systèmes de notre monde est souvent faite par l’intermédiaire d'un modèle. Celui-ci n'est qu'une représentation de la réalité qui ne peut pas être complètement exacte. Cette erreur de modélisation est due, entre autres, à l'environnement du système dont on ne peut pas toujours tenir compte. En effet, tout système est une sous partie d'un autre, plus grand, et peut être, lui-même, décomposé en nombreux sous-systèmes. Cette thèse propose une étude des systèmes interconnectés. Nous allons modéliser et analyser des systèmes qui présentent de nombreuses interactions. Les automates cellulaires sont parmi les plus célèbres modèles de ces systèmes que l'on appelle complexes. L’originalité de ce travail est de proposer l'utilisation des réseaux de Petri comme outil de modélisation de ces systèmes Ces réseaux présentent deux aspects très intéressants : la simplicité de la modélisation et un support algébrique associé qui permet une analyse mathématique du modèle Nous proposons dans cette thèse une méthode de modélisation des systèmes complexes. Celle-ci est basée sur l'utilisation d'un réseau de Petri de base que nous appelons une cellule. Nous lions ensuite ces cellules entre elles afin d'obtenir notre modèle. Nous analysons le comportement de ces modèles en termes d'attracteurs en utilisant le support mathématique associé aux réseaux de Petri et notamment les invariants. Nous étudions enfin les effets des perturbations sur nos modèles. Pour terminer, nous présentons quelques perspectives d'applications liées à notre étude Ces applications sont principalement dédiées aux systèmes ayant une évolution cyclique.
Author: D. Bjorner
Publisher: Springer
ISBN: 9783662181713
Category : Computers
Languages : en
Pages : 384
Get Book Here
Book Description
