Contribution des reseaux de Petri a l'etude de problemes de recherche operationnelle 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 Contribution des reseaux de Petri a l'etude de problemes de recherche operationnelle PDF full book. Access full book title Contribution des reseaux de Petri a l'etude de problemes de recherche operationnelle by Pascal Richard. Download full books in PDF and EPUB format.
Author: Pascal Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Pascal Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Pascal Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 173
Get Book Here
Book Description
Un réseau de Petri est un modèle mathématique utilisé pour modéliser et analyser les systèmes à événements discrets. Nous présentons dans ce mémoire leur utilisation pour des problèmes de recherche opérationnelle. L'état de l'art montre l'intérêt de cet outil pour aborder cette problématique. L'étroit lien entre la programmation mathématique et les réseaux de Petri est ensuite mis en évidence. Précisément, nous montrons que le problème de programmation mathématique se réduit polynomialement à un problème d'ordonnancement dans les réseaux de Petri. Ce résultat repose sur une nouvelle condition nécessaire et suffisante d'accessibilité pour l'équation des marquages. Nous présentons enfin une application industrielle de ces résultats dans le cadre d'un logiciel d'aide à la décision pour la planification de production dans l'industrie du verre.
Author:
Publisher:
ISBN:
Category : Numerical analysis
Languages : en
Pages : 766
Get Book Here
Book Description
International journal devoted to pure and applied research on the use of scientific methods and information processing in business and industry. Articles may be in English or French.
Author: Maurice Comlan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d'états (ou espace d'états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l'accessibilité, la terminaison, la vivacité, l'absence de blocage, etc. Mais la construction de cet espace d'états est confrontée au problème d'explosion combinatoire du nombre d'états lié à la complexité et à la concurrence du système.L'une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d'ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l'étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s'agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri.
Author: Michel Gondran
Publisher: Springer Science & Business Media
ISBN: 0387754504
Category : Business & Economics
Languages : en
Pages : 401
Get Book Here
Book Description
The primary objective of this essential text is to emphasize the deep relations existing between the semiring and dioïd structures with graphs and their combinatorial properties. It does so at the same time as demonstrating the modeling and problem-solving flexibility of these structures. In addition the book provides an extensive overview of the mathematical properties employed by "nonclassical" algebraic structures which either extend usual algebra or form a new branch of it.
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 436
Get Book Here
Book Description
Author: R. C. A. Thompson
Publisher: Oxford University Press, USA
ISBN:
Category : Medical
Languages : en
Pages : 508
Get Book Here
Book Description
Hydatid disease (echinococcosis), caused by the tapeworm Echinococcus, is a public health and economic problem of global proportions. Treatment of this zoonotic infection usually requires major surgery and the prognosis for some forms of the disease is poor. Control efforts have had little impact globally and new foci of infection and regions of endemicity have recently been recognized. However, in addition to its medical, veterinary and economic significance, Echinococcus is an intriguing biological phenomenon. This book presents a complete synthesis of all aspects of Echinococcus and Hydatid Disease. It builds on the success of a previous volume The Biology of Echinococcus and Hydatid Diseaseby Allen & Unwin, 1986, and details the major advances that have taken place since. In addition, the scope of the book has been broadened to include genetics, evolutionary biology, epidemiology and clinical features. The overriding theme of the book is that a comprehensive understanding of the biology of Echinococcus is essential for the effective treatment and control of Hydatid Disease. The links between laboratory knowledge and field applications are emphasised throughout the book. Consequently, research workers, teachers and students of parasitology, clinicians and field workers, will find this work an indispensable source of information, but it will also provide a model for the integration of basic and applied research in parasitology.
Author: Jacqueline Ki-Zerbo
Publisher: Univ of California Press
ISBN: 9780520066960
Category : History
Languages : en
Pages : 372
Get Book Here
Book Description
"This volume covers the period from the end of the Neolithic era to the beginning of the seventh century of our era. This lengthy period includes the civilization of Ancient Egypt, the history of Nubia, Ethiopia, North Africa and the Sahara, as well as of the other regions of the continent and its islands."--Publisher's description
Author: Georg Ch. Pflug
Publisher: Springer
ISBN: 3319088432
Category : Business & Economics
Languages : en
Pages : 309
Get Book Here
Book Description
Multistage stochastic optimization problems appear in many ways in finance, insurance, energy production and trading, logistics and transportation, among other areas. They describe decision situations under uncertainty and with a longer planning horizon. This book contains a comprehensive treatment of today’s state of the art in multistage stochastic optimization. It covers the mathematical backgrounds of approximation theory as well as numerous practical algorithms and examples for the generation and handling of scenario trees. A special emphasis is put on estimation and bounding of the modeling error using novel distance concepts, on time consistency and the role of model ambiguity in the decision process. An extensive treatment of examples from electricity production, asset liability management and inventory control concludes the book.
Author: Stuart Hill
Publisher: Birkhäuser
ISBN: 3034863101
Category : Science
Languages : en
Pages : 364
Get Book Here
Book Description
