Petri Net Primer
Title | Petri Net Primer PDF eBook |
Author | Eike Best |
Publisher | Springer |
Pages | 0 |
Release | 2024-02-05 |
Genre | Computers |
ISBN | 9783031482779 |
Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction. This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises. Among topics addressed: • In which order may actions may be generated and scheduled? • What states and configurations may be reached in a concurrent system? • Which interesting classes of systems can be analysed relatively efficiently? • Is it possible to synthesise a system of some class from its behaviour? • How can systems be represented algebraically, compositionally, and concisely? This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical—as well as in practical—aspects of Petri nets and related system models. Eike Best has been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany. Raymond Devillers has been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.
A Primer in Petri Net Design
Title | A Primer in Petri Net Design PDF eBook |
Author | Wolfgang Reisig |
Publisher | Springer Science & Business Media |
Pages | 124 |
Release | 2012-12-06 |
Genre | Computers |
ISBN | 3642753299 |
Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.
A Primer on High-level Petri-net Theory
Title | A Primer on High-level Petri-net Theory PDF eBook |
Author | Einar Smith |
Publisher | |
Pages | 27 |
Release | 1993 |
Genre | |
ISBN |
Application and Theory of Petri Nets and Concurrency
Title | Application and Theory of Petri Nets and Concurrency PDF eBook |
Author | Victor Khomenko |
Publisher | Springer |
Pages | 428 |
Release | 2018-05-29 |
Genre | Computers |
ISBN | 3319912682 |
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.
Lectures on Petri Nets I: Basic Models
Title | Lectures on Petri Nets I: Basic Models PDF eBook |
Author | Wolfgang Reisig |
Publisher | Springer Science & Business Media |
Pages | 714 |
Release | 1998-11-04 |
Genre | Computers |
ISBN | 9783540653066 |
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.
Petri Net Technology for Communication-Based Systems
Title | Petri Net Technology for Communication-Based Systems PDF eBook |
Author | Hartmut Ehrig |
Publisher | Springer Science & Business Media |
Pages | 466 |
Release | 2003-11-25 |
Genre | Computers |
ISBN | 3540205381 |
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes. The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.
Application and Theory of Petri Nets and Concurrency
Title | Application and Theory of Petri Nets and Concurrency PDF eBook |
Author | Wil van der Aalst |
Publisher | Springer |
Pages | 353 |
Release | 2017-05-04 |
Genre | Computers |
ISBN | 3319578618 |
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.