Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Modelisation Et Evaluation Des Systemes De Production Par Les Reseaux De Petri Stochastiques Generalises
Download Modelisation Et Evaluation Des Systemes De Production Par Les Reseaux De Petri Stochastiques Generalises full books in PDF, epub, and Kindle. Read online Modelisation Et Evaluation Des Systemes De Production Par Les Reseaux De Petri Stochastiques Generalises ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis Modélisation et évaluation des systèmes de production par les réseaux de Pétri stochastiques généralisés by : Belhassen Mazigh
Download or read book Modélisation et évaluation des systèmes de production par les réseaux de Pétri stochastiques généralisés written by Belhassen Mazigh and published by . This book was released on 1994 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse nous montrons les capacités des RdPSG à modéliser et à évaluer les performances et les grandeurs de la sûreté de fonctionnement des systèmes de production sujets à des pannes et réparables. Nous montrons que les RdPSG permettent au concepteur d'évaluer et de comparer différentes architectures et politiques avec une grande aisance et rapidité. Plusieurs grandeurs peuvent être utilisées pour évaluer les performances d'une structure donnée. La disponibilité et le MTBF sont les mesures les plus intéressantes pour comparer différentes stratégies de la sûrete de fonctionnement. Le facteur coût peut être inclus dans l'évaluation (coût de l'installation, de sa mise en marche, des réparations, de l'entretien, etc.). Dans le cas des systèmes de production complexes, on utilise une méthode d'agrégation basée sur la théorie du modèle équivalent. Cette technique a été validée sur un exemple industriel (chaîne de production de porte de voiture). Une bibliothèque formée par des modules de base a été créée. Un outil d'aide à l'évaluation des systèmes de production, utilisant ces modules, a été développé dans le but de faciliter la modélisation et accélérer l'évaluation
Book Synopsis Evaluation de la performabilité des systèmes de production et des systèmes temps réel par réseaux de Petri stochastiques géneralisé by : François Simon
Download or read book Evaluation de la performabilité des systèmes de production et des systèmes temps réel par réseaux de Petri stochastiques géneralisé written by François Simon and published by . This book was released on 1996 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse décrit les travaux réalisés dans le domaine de la modélisation et de l'évaluation de la performabilité (performance-disponibilité) de systèmes informatiques temps réel et des systèmes de production à l'aide de modèles bases sur les réseaux de Petri stochastiques généralisés (rdpsg). Le modèle du système est décomposé en deux sous-systèmes, l'un décrivant le comportement vis-à-vis des fautes et des réparations (modèle de structure), l'autre modélisant l'aspect performance et les caractéristiques temps réel. Nous montrons la génération automatique du modèle de structure qui donne les multiples cas de défaillances pour lesquels nous proposons une méthode pour réduire le nombre de vérification du critère d'opportunité (probabilité de respect de la contrainte temporelle spécifiée). L'analyse se concentre en premier sur les configurations de fonctionnement dégradées. Cette étape du processus de modélisation est appelée vérification intra configuration. Ensuite, la vérification inter configurations concerne les passages entre les configurations qui sont classées par type d'éléments défaillants. La méthode est illustrée sur trois exemples ayant fait l'objet de publications. Le premier système est un atelier flexible de production de tambour d'impression ayant une structure à tolérance de fautes avec machines redondantes et fonctionnant en parallèle. Le deuxième est un système de production de portière à structure série qui est analysé par modèles équivalents. Le troisième système à base de transputers présente des caractéristiques temps réel pour lequel l'aspect répartition de taches est approfondi.
Book Synopsis Les réseaux de Pétri stochastiques pour l'évaluation des attributs de la sureté de fonctionnement des systèmes manufacturiers by : Olivier Daniel
Download or read book Les réseaux de Pétri stochastiques pour l'évaluation des attributs de la sureté de fonctionnement des systèmes manufacturiers written by Olivier Daniel and published by . This book was released on 1995 with total page 187 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'EVALUATION DES ATTRIBUTS DE LA SURETE DE FONCTIONNEMENT DES SYSTEMES DE PRODUCTION EST DE NOS JOURS UN PASSAGE OBLIGE POUR LES INDUSTRIELS ET CECI POUR DES RAISONS EVIDENTES DE COUT ET DE PRODUCTIVITE. CETTE ETUDE ETANT EFFECTUEE PENDANT LA PHASE DE CONCEPTION DU SYSTEME, IL EST ALORS NECESSAIRE D'EN POSSEDER UN MODELE. L'UTILISATION COMBINEE DES RESEAUX DE PETRI STOCHASTIQUES ET DES PROCESSUS DE MARKOV OFFRE UN BON COMPROMIS PUISQUE ELLE ASSOCIE LA PUISSANCE D'UN OUTIL DE MODELISATION GRAPHIQUE POUVANT PRENDRE EN COMPTE DES ASPECTS AUSSI ALEATOIRES QUE LA DUREE DE BON FONCTIONNEMENT D'UNE MACHINE OU LE TEMPS MOYEN MIS POUR LA REPARER, A UN OUTIL DE CALCUL TRES PUISSANT. LA TECHNIQUE EST EPROUVEE MAIS, POUR DES SYSTEMES COMPLEXES, SE HEURTE AU PHENOMENE BIEN CONNU DE L'EXPLOSION COMBINATOIRE DU NOMBRE D'ETATS ACCESSIBLES ENTRAINANT L'IMPOSSIBILITE D'EXTRAIRE LE MOINDRE RESULTAT. CE TRAVAIL DE THESE PRESENTE UNE METHODE ORIGINALE PERMETTANT DE CONTOURNER CE PROBLEME D'EXPLOSION COMBINATOIRE. CETTE METHODE S'APPUIE SUR LES DIFFERENTS POINTS SUIVANTS: 1/ MODELISATION MODULAIRE DU SYSTEME GRACE A UN NOUVEL OUTIL: LES RESEAUX DE PETRI STOCHASTIQUES GENERALISES A SYNCHRONISATIONS INTERNES (RDPSGSYI). 2/ REGROUPEMENT DES MODULES EN CELLULES ET GENERATION AUTOMATIQUE DES MATRICES DE TRANSITIONS DES PROCESSUS DE MARKOV QUI LEUR SONT ASSOCIEES. 3/ RESOLUTION ITERATIVE DU SYSTEME MARKOVIEN CELLULAIRE DONNANT UNE SOLUTION APPROCHEE MAIS EN UN TEMPS TOUJOURS TRES BREF. CECI PERMET D'UTILISER LA METHODE POUR EFFECTUER DE L'ANALYSE DE SENSIBILITE, C'EST A DIRE DE POUVOIR EVALUER RAPIDEMENT L'INFLUENCE DE TEL OU TEL PARAMETRE SUR LE COMPORTEMENT GLOBAL DU SYSTEME. CES DIFFERENTS POINTS SONT DEVELOPPES DANS CE TRAVAIL. LES DIFFERENTS ATTRIBUTS DE LA SURETE DE FONCTIONNEMENT SONT PAR AILLEURS PRESENTES, ET LE MOYEN DE LES CALCULER A PARTIR DES RESULTATS FOURNIS PAR NOTRE DEMARCHE EST EGALEMENT DONNE. UNE COMPARAISON ENTRE NOTRE METHODE APPROCHEE ET LA METHODE EXACTE EST REALISEE. ENFIN, LE LOGICIEL ALOSURF 1.0 METTANT EN UVRE NOTRE DEMARCHE EST DETAILLE DANS SA CONCEPTION, SON FONCTIONNEMENT ET SON ASPECT
Book Synopsis Advances on Practical Applications of Agents and Multiagent Systems by : Yves Demazeau
Download or read book Advances on Practical Applications of Agents and Multiagent Systems written by Yves Demazeau and published by Springer Science & Business Media. This book was released on 2011-03-11 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is the international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2011 edition. These articles capture the most innovative results and this year’s trends: Finance and Trading, Information Systems and Organisations, Leisure Culture and Interactions, Medicine and Cloud Computing, Platforms and Adaptation, Robotics and Manufacturing, Security and Privacy, Transports and Optimisation paper.
Book Synopsis Evaluation de la performabilité des systèmes de production et des systèmes temps réel par réseaux de Pétri stochastiques généralisés by : François Simon (auteur d'une thèse)
Download or read book Evaluation de la performabilité des systèmes de production et des systèmes temps réel par réseaux de Pétri stochastiques généralisés written by François Simon (auteur d'une thèse) and published by . This book was released on 1996 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis ANALYSE ET MODELISATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI by : Kwang Hyung Lee
Download or read book ANALYSE ET MODELISATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI written by Kwang Hyung Lee and published by . This book was released on 1985 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: ON A CHOISI LES RESEAUX DE PETRI COMME METHODE D'ANALYSE ET DE CONCEPTION, ET COMME LANGAGE DE COMMUNICATION ENTRE LES CONCEPTEURS. L'APTITUDE DES RESEAUX DE PETRI POUR ANALYSER ET MODELISER LES SYSTEMES DE PRODUCTION EST ETUDIEE ET COMPAREE AVEC CELLE DES AUTRES MODELES GRAPHIQUES MAJEURS. ON PROPOSE UNE METHODE DE REDUCTION HIERARCHIQUE DES RESEAUX PETRI POUR ANALYSER LES RESEAUX COMPLEXES. CETTE METHODE CONSERVE LES PROPRIETES DE RESEAUX VIVANT, BORNE ET REINITIALISABLE. ELLE PERMET DE DECOMPOSER HIERARCHIQUEMENT UN RESEAU COMPLEXE ET DE L'ANALYSER PAR SON RESEAU REDUIT ET PAR SES SOUS-RESEAUX. LA MISE EN OEUVRE DE CETTE PROCEDURE DE REDUCTION EST AUTOMATISEE, ET ON L'A APPLIQUEE A UN ATELIER FLEXIBLE
Book Synopsis Contribution à la modélisation et à l'analyse de performances des systèmes logistiques à l'aide d'un nouveau modèle de réseaux de Petri stochastiques by : Karim Labadi
Download or read book Contribution à la modélisation et à l'analyse de performances des systèmes logistiques à l'aide d'un nouveau modèle de réseaux de Petri stochastiques written by Karim Labadi and published by . This book was released on 2005 with total page 202 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail présenté dans cette thèse constitue une contribution à la modélisation et à l’analyse de performances des systèmes logistiques à l’aide d’un nouveau modèle de réseaux de Pétri stochastiques. Il s’agit d’une problématique au centre des préoccupations actuelles des entreprises industrielles mais très peu abordée par la communauté des réseaux de Pétri. Dans ce travail, nous développons un nouveau modèle de réseaux de Pétri dits réseaux de Pétri lots déterministes et stochastiques (BDSPNs) capable de supporter les caractéristiques essentielles des systèmes logistiques et plus généralement des systèmes à événements discrets. Ils sont particulièrement adaptés pour la modélisation de flux évoluant en quantités discrètes (lots de différentes tailles et variables) et ils permettent de prendre en compte des activités plus spécifiques telles que les commandes des clients, l’approvisionnement des stocks, la production et la livraison en mode lot. Les BDSPNs permettent par leur formalisme graphique et mathématique de capturer pertinemment et simplement cet aspect lot omniprésent dans différentes locations de ces systèmes et qui s’implique très considérablement dans leur comportement et par conséquent dans leur analyse. Nos travaux portent à la fois sur la théorie d’un nouveau modèle, sur ses techniques d’analyse et sur ses applications aux systèmes logistiques. Ainsi, les résultats obtenus et les applications effectuées font des BDSPNs un outil de modélisation performant aussi bien pour l’analyse que pour la simulation
Book Synopsis Les réseaux de Petri pour la conception et la gestion des systèmes de production by : Jean-Marie Proth
Download or read book Les réseaux de Petri pour la conception et la gestion des systèmes de production written by Jean-Marie Proth and published by Elsevier Masson. This book was released on 1995 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes de production sont aujourd'hui flexibles et intégrés, donc complexes et coûteux. Ceci impose de maîtriser tous les aspects de leur conception, notamment la phase de conception préliminaire, appelée "étude papier". Celle-ci inclut la spécification fonctionnelle, la modélisation et l'évaluation du comportement du système. Les réseaux de Petri (RdP) permettent de prendre en compte ces trois facettes de l'étude. Les RdP sont des graphes bipartis qui comportent deux types de sommets, à savoir les places qui permettent de modéliser les stocks d'encours, et les transitions qui représentent les opérations. Ils ont le double avantage de fournir un support graphique naturel qui est d'une aide précieuse pour le concepteur, et de posséder des propriétés analytiques qui permettent souvent une évaluation simple du comportement du système étudié. En outre, les RdP se prêtent à la simulation lorsque le système modélisé est trop complexe pour autoriser une étude analytique. Nous sommes donc en présence d'un outil complet et efficace qui justifie amplement le présent ouvrage. La première partie du livre expose les bases des RdP et se termine par l'étude des classes élémentaires de RdP, essentiellement les graphes d'événements et les RdP contrôlables. La seconde partie est consacrée aux applications. Les principaux modules rencontrés dans les systèmes de fabrication sont passés en revue. Nous étudions ensuite les systèmes à fonctionnement cyclique pour terminer par l'étude des systèmes à fonctionnement non cyclique.
Book Synopsis LA MODÉLISATION AU MOYEN DES RÉSEAUX DE PETRI STOCHASTIQUES by : Eric Gressier-Soudan
Download or read book LA MODÉLISATION AU MOYEN DES RÉSEAUX DE PETRI STOCHASTIQUES written by Eric Gressier-Soudan and published by . This book was released on 1987 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: NOTRE TRAVAIL CONTRIBUE À MONTRER L'IMPORTANDE DES RDPS AU MOYEN D'EXEMPLES DE MODÉLISATION ISSUS DU DOMAINE INDUSTRIEL. POUR CES EXEMPLES, LES TECHNIQUES D'ÉVALUATION DE PERFORMANCE HABITUELLES, COMME LES RÉSEAUX DE FILES D'ATTENTE, OU LES PROCESSUS SEMI-MARKOVIENS, SONT MAL ADAPTÉES. LES EXEMPLES ETUDIÉS SONT: 1) LA COMPARAISON DE STRATÉGIES D'ORDONNANCEMENT DE TÂCHES, 2) L'ÉVALUATION D'ETHERNET, PROTOCOLE TRES UTILISÉ DANS LES RÉSEAUX LOCAUX, 3) LA VALIDATION D'UNE ARCHITECTURE DE RESEAU LOCAL INDUSTRIEL (ARLIC). NOUS APPELONS MODÉLISATION EXTENSIVE, L'APPROCHE QUI CONSISTE À DÉCRIRE EN UN SEUL MODÈLE RDPS FERMÉ TOUS LES ÉTATS ET CHANGEMENTS D'ÉTAT D'UN SYSTÈME. C'EST LA SEULE MÉTHODE EMPLOYÉE JUSQU'À MAINTENANT. LA CONDUITE DES ÉTUDES PRÉCÉDENTES NOUS A AMENÉ, SUR LE PLAN PRATIQUE À DÉGAGER UNE MÉTHODOLOGIE DE MODÉLISATION AU MOYEN DES RDPS ET SUR LE PLAN THÉORIQUE À DÉVELOPPER DES MÉTHODES APPROXIMATIVES POUR PALLIER LES INSUFFISANCES DE LA MODÉLISATION EXTENSIVE. CETTE DERNIÈRE ENTRAINE, DANS DE NOMBREUX CAS PRATIQUES, L'EXPLOSION COMBINATOIRE DE L'ESPACE D'ETATS DES MODELES. COMME POUR CERTAINES TECHNIQUES APPROXIMATIVES UTILISÉES DANS LES RÉSEAUX DE FILES D'ATTENTE QUAND IL N'EST PAS POSSIBLE D'OBTENIR DES SOLUTIONS EXACTES, NOUS AVONS PROPOSÉ DES MÉTHODES FONDÉES SUR LE DÉCOUPAGE D'UN MODÈLE RDPS EN SOUS-MODÈLES. NOUS NOUS SOMMES SERVIS D'UNE MÉTHODE D'ISOLATION QUAND LES INTERACTIONS ENTRE PARTITIONS D'UN MODÈLE PEUVENT ÊTRE ESTIMÉES PAR UNE FONCTION SIMPLE NE DÉPENDANT QUE DU NOMBRE DE PARTITIONS ET DE PARAMÈTRES EXOGENES. À CAUSE DE LA COMPLEXITÉ DES INTERACTIONS ENTRE SOUS-MODÈLES, LA MÉTHODE PRÉCÉDENTE NE S'APPLIQUE PAS TOUJOURS. NOUS AVONS ALORS PROPOSÉ, POUR LES MODÈLES RDPS DONT LES CONTRAINTES DE SYNCHRONISATION S'EXPRIMENT EN TERME DE SCHEMAS DE PRODUCTION-CONSOMMATION, DES CONDITIONS DE PARTITIONNEMENT ET UN ALGORITHME DE TYPE POINT FIXE QUI PERMETTENT LE CALCUL APPROCHÉ DE LA
Book Synopsis Modélisation et analyse des systèmes de production discrets par les réseaux de Pétri temporisés by : Hervé P.. Hillion
Download or read book Modélisation et analyse des systèmes de production discrets par les réseaux de Pétri temporisés written by Hervé P.. Hillion and published by . This book was released on 1989 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Modélisation et analyse des systèmes de production discrets par les réseaux de Petri temporisés by : Hervé Hillion
Download or read book Modélisation et analyse des systèmes de production discrets par les réseaux de Petri temporisés written by Hervé Hillion and published by . This book was released on 1989 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous présentons, dans ce travail, une approche basée sur les réseaux de Petri temporisés (déterministes) pour la modélisation et l'analyse des systèmes de production discrets. L'étude porte d'une part sur les job-shops (ateliers flexibles), d'autre part sur les systèmes d'assemblage multi-niveaux. Le processus de production fonctionne de manière cyclique (il s'agit de fabrications répétitives) avec un nombre limité d'en-cours et pour des ratios de productions fixés. A partir du modèle développé pour les job-shops, qui correspond à un graphe d'évènements temporisé, nous en déduisons les caractèristiques du régime permanent et en particulier les performances (productivité, utilisation des machines...) en fonction de l'état initial et de l'ordre de passage des pièces sur les machines (séquences d'entrée). Nous examinons ensuite comment optimiser les performances en saturant la machine la plus chargée avec un minumum d'en-cours. Cet aspect est particulièrement important dans le cas des ateliers flexibles car cela revient à maximiser la productivité avec le minimum de ressources de transport. Nous montrons que cette condition est toujours réalisable pour un job-shop (quelles que soient les séquences d'entrée dans les machines) et nous proposons des algorithmes heuristiques de recherche d'un ordonnancement optimal. Dans le cas d'un système d'assemblage multi-niveaux, le modèle s'appuie sur les réseaux de Petri généralisés. L'étude des propriétés de fonctionnement périodique de ces réseaux permet de calculer les performances maximales du système de production en fonction du niveau des en-cours (qui représentent dans ce cas les matières premières et les produits semi-finis). Nous abordons également le problème d'optimisation des performances en suivant une démarche similaire à celle des job-shops.
Book Synopsis MODELISATION ET VALIDATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI COLORES by : ABDALLAH.. GUEBLA
Download or read book MODELISATION ET VALIDATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI COLORES written by ABDALLAH.. GUEBLA and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: NOMBREUX SONT LES PROCESSUS DIFFERENTS QUI PRESENTENT UNE STRUCTURE ET UN FONCTIONNEMENT SIMILAIRES. LORSQUE L'ON S'INTERESSE AUX SYSTEMES DE PRODUCTION, IL EST NECESSAIRE DE POUVOIR DISPOSER DE METHODES ET D'OUTILS PERMETTANT DE MENER A BIEN LES DIFFERENTES ETAPES ALLANT DE LA SPECIFICATION A L'IMPLANTATION, EN PASSANT PAR L'INDISPENSABLE VALIDATION. LA MODELISATION ET L'EVOLUTION DES PERFORMANCES DES SYSTEMES COMPLEXES SONT LES ELEMENTS RECHERCHES DE TOUTE ANALYSE COHERENTE. PARMI CES OUTILS, LES RESEAUX DE PETRI COLORES (EDPC) REPONDENT PARFAITEMENT A CES EXIGENCES. ILS ONT L'AVANTAGE D'ETRE CONSERVES TOUT AU LONG DE L'APPLICATION CONSIDEREE. LE MODELE OBTENU EST PLUS CONCIS ET PLUS CLAIR ET LES PROPRIETES DES RESEAUX DE PETRI RESTENT VALABLES. L'INCONVENIENT, C'EST QUE L'ANALYSE MATHEMATIQUE DES RDPC N'EST PAS SUFFISANTE POUR DETERMINER TOUTES CES PROPRIETES. LE FAIT QU'UNE SEQUENCE DE FRANCHISSEMENTS PEUT ETRE CONSIDEREE COMME UN ALPHABET, LA GAMME MULTIPLE DES JOB-SHOPS COMME UN LANGAGE REGULIER ET LA COULEUR DES JETONS PROPRE AUX RDPC COMME DES LANGAGES REGULIERS, CEUX-CI JUSTIFIENT BIEN ET EXPLIQUENT DONC LA CORRESPONDANCE ENTRE LES PDPC ET LES GRAMMAIRES. LA SIMULATION, QUANT A ELLE, REPOND AUX EXIGENCES DU CAHIER DES CHARGES POUR UNE MEILLEURE COORDINATION ET UN BON DIMENSIONNEMENT DE L'ATELIER. IL EST INTERESSANT DE FAIRE UNE ANALOGIE ENTRE LES RTDPC ET L'APPROCHE INTELLIGENCE ARTIFICIELLE. DES EXEMPLES DE MODELISATION D'ATELIERS ILLUSTRENT NOTRE TRAVAIL ET LE CHOIX DU RDPC
Book Synopsis Méthodes d'allocation de ressources dans les systèmes flexibles de production manufacturière fondées sur l'analyse structurelle des réseaux Petri by : Imed Ben Abdallah
Download or read book Méthodes d'allocation de ressources dans les systèmes flexibles de production manufacturière fondées sur l'analyse structurelle des réseaux Petri written by Imed Ben Abdallah and published by . This book was released on 1996 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: La compétition entre les flux parallèles de produits pour l'utilisation de ressources nécessairement limitées génère des problèmes d'allocation de ressources dans les FMS (Systèmes flexibles de production manufacturière). Le but de notre travail est de développer une méthodologie efficace d'allocation de ressources dans les FMS fondée sur le formalisme des réseaux Petri. Une partie de nos travaux consiste a établir une méthodologie de contrôle d'interblocage dans les FMS fondée sur l'analyse structurelle des réseaux Petri. Dans un premier temps, nous développons une méthode de prévention statique d'interblocage pour des FMS modélisés par une sous-classe de réseaux Petri appelée S3PR. Dans un second temps, nous établissons une méthode d'évitement dynamique pour les FMS dont les modèles de réseaux Petri n'appartiennent a aucune strucure particulière. Les résultats de ces travaux sont d'un approt tant du point de vue de l'analyse structurelle des réseaux de Petri que du point de vue des performances des FMS. En effet, l'efficacité de ces méthodes a été confrontée a d'autres stratégies d'allocation de ressources. Une autre partie de nos travaux concerne un problème important d'allocation de ressources, souvent négligé dans les modèles de plannification et d'ordonnancement qui est l'allocation des outils coupants aux produits. Nous définissons une politique de partage d'outils entre les lots de fabrication dans une configuration de FMS réaliste. L'évaluation de performances de cette politique de partage est effectuée selon une approche analytique, par biais des réseaux de Petri stochastiques généralisés.
Book Synopsis Modélisation Et Optimisation de Systèmes Complexes À L'aide de Réseaux de Pétri Stochastiques Généralisés by : Beate Specker
Download or read book Modélisation Et Optimisation de Systèmes Complexes À L'aide de Réseaux de Pétri Stochastiques Généralisés written by Beate Specker and published by . This book was released on 1995 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis ETUDE ET REALISATION D'UN LOGICIEL D'ANALYSE ET DE SIMULATION DES RESEAUX DE PETRI by : FRANCOIS.. GELLOT
Download or read book ETUDE ET REALISATION D'UN LOGICIEL D'ANALYSE ET DE SIMULATION DES RESEAUX DE PETRI written by FRANCOIS.. GELLOT and published by . This book was released on 1994 with total page 183 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA COMPLEXITE CROISSANTE DES SYSTEMES AUTOMATISES DE PRODUCTION NECESSITE L'UTILISATION D'OUTILS PUISSANTS POUR DECRIRE LEURS COMPORTEMENTS ET LES INTERACTIONS TEMPORELLES ENTRE LES DIFFERENTES ENTITES DU SYSTEME. LES RESEAUX DE PETRI CONSTITUENT UN OUTIL DE MODELISATION ET DE SIMULATION PARTICULIEREMENT ADAPTE POUR SPECIFIER LE COMPORTEMENT DES SYSTEMES INDUSTRIELS. L'ASPECT GRAPHIQUE PERMET DE DECRIRE LES CONTRAINTES DE PARALLELISME, DE SYNCHRONISATION ET DE SEQUENCEMENT, L'ASPECT MATHEMATIQUE PERMET DE GARANTIR FORMELLEMENT LES PROPRIETES DU SYSTEME MODELISE. POUR DECRIRE UN COMPORTEMENT MODELISE PAR RESEAUX DE PETRI, IL FAUT UN EDITEUR GRAPHIQUE AVEC DES FONCTIONS D'EDITIONS CONVIVIALES QUI SUPPORTE LA CONSTRUCTION DU RESEAU ET LA VERIFICATION SYNTAXIQUE. IL FAUT EGALEMENT UNE STRUCTURE D'ANALYSE UTILISANT LA FORMALISATION MATHEMATIQUE DU RESEAU POUR ETABLIR LES PROPRIETES TELLES QUE: BLOCAGE, REINITIALISABLE, VIVANT, BORNE. ENFIN, IL FAUT UNE STRUCTURE DE SIMULATION INTERACTIVE ET CONVIVIALE PERMETTANT D'OBSERVER LE COMPORTEMENT DU SYSTEME EN FONCTIONNEMENT. CES EXIGENCES ONT ETE DETERMINANTES DANS L'ETUDE ET LA REALISATION DE PETRILAM, ATELIER INTERACTIF ET CONVIVIAL DE MODELISATION, D'ANALYSE ET DE SIMULATION DE RESEAUX DE PETRI AUTONOMES, GENERALISES ET INTERPRETES. PETRILAM EST ECRIT EN LANGAGE OBJET SMALLTALK ET DEVELOPPE EN COLLABORATION AVEC LA SOCIETE T.N.I. BREST. L'ANALYSE D'UN RESEAU DE PETRI S'EFFECTUE PAR LA CONSTRUCTION DE L'ARBRE DES MARQUAGES. CET ARBRE REPRESENTE L'ENSEMBLE DES EVOLUTIONS POSSIBLES DU RESEAU. TROIS METHODES DE CALCUL D'ARBRES SONT IMPLANTEES ET PERMETTENT DE DETERMINER TOUTE OU PARTIE DES PROPRIETES DU SYSTEME MODELISE. DEUX MODES DE SIMULATION SONT POSSIBLES: LE MODE MANUEL ET LE MODE AUTOMATIQUE. EN MODE MANUEL, CHAQUE PAS DE LA SIMULATION EST SELECTIONNE PAR L'UTILISATEUR. LA SIMULATION AUTOMATIQUE DES RESEAUX DE PETRI AUTONOMES ET GENERALISES SE DEROULE SELON UN MECANISME DE CHOIX ALEATOIRE DE LA TRANSITION A FRANCHIR. LA SIMULATION DES RESEAUX DE PETRI INTERPRETES, PLUS COMPLEXE, REPOSE SUR LA DETERMINATION D'UNE SEQUENCE DE SIMULATION COMPLETE
Book Synopsis Contribution à la simplification et à la commande des réseaux de Petri stochastiques by : Lionel Amodeo
Download or read book Contribution à la simplification et à la commande des réseaux de Petri stochastiques written by Lionel Amodeo and published by . This book was released on 1999 with total page 175 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail présenté dans cette thèse constitue une contribution à la simplification et à la commande des réseaux de Petri stochastiques, utilisés pour la modélisation et l'étude des systèmes de production. Dans le contexte industriel actuel ou l'étude des systèmes manufacturiers s'avère de plus en plus complexe, nous apportons une méthode de réducation de modèles stochastiques, conduisans à une diminution du temps d'obtention des performances des systèmes. Les travaux se résument en deux grands points : Tout d'abord, une méthode de simplification graphique et analytique des réseaux de Petri stochastiques a été développée. Elle effectue un découplage du RDPS suivant les dynamiques des probabilités de marquage, et utilise les techniques de perturbations singulières en continu et en discret. En résultat, nous obtenons deux sous-systèmes aux évolutions lentes ou rapides et aux dimensions réduites facilitant ainsi leur analyse. Utilisant la propriété des processus de markov de la partie lente, une technique de construction du RDPS lent a été développée. La simplification est alors graphique pour le RDPS et analytique pour le processus de Markov. Ensuite, nous avont étendu cette méthode de simplification aux RDPS à commande avec une application à la recherche de la commande optimale.
Book Synopsis Modélisation,validation et évaluation d'un sous-systéme mémoires de masse par la théorie des réseaux de Petri Stochastiques by : Guy RIVAL
Download or read book Modélisation,validation et évaluation d'un sous-systéme mémoires de masse par la théorie des réseaux de Petri Stochastiques written by Guy RIVAL and published by . This book was released on 1990 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt:
