METHODE D'ANALYSE DE RESEAUX DE PETRI, RESEAUX A FILES, ET APPLICATIONS AUX SYSTEMES TEMPS REEL PDF Download

Author: GERARD.. MEMMI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 812

View

Book Description
CE TRAVAIL SE COMPOSE DE 3 PARTIES: 1) ALGEBRE LINEAIRE EN NOMBRES ENTIERS ET RESEAUX DE PETRI. ON DEVELOPPE UNE METHODE DE PREUVE A PARTIR DE LA NOTION DE SEMI-FLOT; 2) RESEAUX DE PETRI EN TANT QUE GRAPHES BIPARTIS: LES NOTIONS DE VERROUS, DE TRAPPES, DE FUITES ET DE PIEGES PERMETTENT D'UNIFIER DE NOMBREUX RESULTATS SUR LES CLASSES DE RESEAUX DE PETRI; 3) RESEAUX A FILE: CES RESEAUX SONT PARTICULIEREMENT ADAPTES POUR MODELISER LE MECANISME PREMIER ENTRE PREMIER SORTI DANS UNE FILE. DANS CETTE THESE, LA DEMARCHE EST LA SUIVANTE: SAVOIR ANALYSER A L'AIDE D'UN MODELE PRIMITIF: LES RESEAUX DE PETRI. SAVOIR DECRIRE A L'AIDE D'UN MODELE ADAPTE AUX APPLICATIONS QUE NOUS DEVONS TRAITER: LES RESEAUX A FILES. TRANSPOSER AUTANT QUE FAIRE SE PEUT LES MOYENS D'ANALYSE DES RESEAUX DE PETRI VERS LES RESEAUX A FILES

Author: M. Gérard Memmi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 406

View

Book Description

Author: Kurt Jensen
Publisher: Springer Science & Business Media
ISBN: 364284524X
Category : Computers
Languages : en
Pages : 724

View

Book Description
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is only one kind of token and this means that the state of a place is described by an integer (and in many cases even by a boolean value). In high-level nets each token can carry complex information which, e. g. , may describe the entire state of a process or a data base. Today most practical applications of Petri nets use one of the different kinds of high-level nets. A considerable body of knowledge exists about high-level Petri nets this includes theoretical foundations, analysis methods and many applications. Unfortunately, the papers on high-level Petri nets have been scattered throughout various journals and collections. As a result, much of this knowledge is not readily available to people who may be interested in using high-level nets.

Author: Jorg Desel
Publisher: Cambridge University Press
ISBN: 9780521465199
Category : Computers
Languages : en
Pages : 256

View

Book Description
Petri nets are a model for the analysis of concurrent systems.

Author: Friedrich H. Vogt
Publisher: Springer Science & Business Media
ISBN: 9783540504030
Category : Computers
Languages : en
Pages : 412

View

Book Description
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.

Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
ISBN: 9783540543985
Category : Computers
Languages : en
Pages : 590

View

Book Description
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.

Author: Wilfried Brauer
Publisher: Springer
ISBN: 3540479198
Category : Computers
Languages : en
Pages : 492

View

Book Description
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.

Author:
Publisher: European Control Association
ISBN: 9782866012809
Category : Control theory
Languages : en
Pages : 834

View

Book Description
Proceedings of the European Control Conference 1991, July 2-5, 1991, Grenoble, France

Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
ISBN: 9783540180869
Category : Computers
Languages : en
Pages : 466

View

Book Description
The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.

Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
ISBN: 9783540538639
Category : Computers
Languages : en
Pages : 534

View

Book Description
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.