Lectures on Petri Nets I: Basic Models: Advances in Petri Nets [1 ed.] 3540653066, 9783540653066
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond
276 88 5MB
English Pages 691 [692] Year 1998
Table of contents :
Informal introduction to petri nets....Pages 1-11
Elementary net systems....Pages 12-121
Place/transition Petri Nets....Pages 122-173
Principles of high-level net theory....Pages 174-210
Petri nets in performance analysis: An introduction....Pages 211-256
Basic linear algebraic techniques for place/transition nets....Pages 257-308
Linear algebraic and linear programming techniques for the analysis of place/transition net systems....Pages 309-373
Decidability and complexity of Petri net problems — An introduction....Pages 374-428
The state explosion problem....Pages 429-528
Theory of regions....Pages 529-586
Petri nets and other models of concurrency....Pages 587-642
Distributed versions of linear time temporal logic: A trace perspective....Pages 643-681
Informal introduction to petri nets....Pages 1-11
Elementary net systems....Pages 12-121
Place/transition Petri Nets....Pages 122-173
Principles of high-level net theory....Pages 174-210
Petri nets in performance analysis: An introduction....Pages 211-256
Basic linear algebraic techniques for place/transition nets....Pages 257-308
Linear algebraic and linear programming techniques for the analysis of place/transition net systems....Pages 309-373
Decidability and complexity of Petri net problems — An introduction....Pages 374-428
The state explosion problem....Pages 429-528
Theory of regions....Pages 529-586
Petri nets and other models of concurrency....Pages 587-642
Distributed versions of linear time temporal logic: A trace perspective....Pages 643-681
![Lectures on Petri Nets I: Basic Models: Advances in Petri Nets [1 ed.]
3540653066, 9783540653066](https://ebin.pub/img/200x200/lectures-on-petri-nets-i-basic-models-advances-in-petri-nets-1nbsped-3540653066-9783540653066.jpg)
- Author / Uploaded
- W. Reisigs
- G. Rozenberg (auth.)
- Wolfgang Reisig
- Grzegorz Rozenberg (eds.)
- Similar Topics
- Computers
![Lectures on Petri Nets II: Applications: Advances in Petri Nets [1 ed.]
3540653074, 9783540653073](https://ebin.pub/img/200x200/lectures-on-petri-nets-ii-applications-advances-in-petri-nets-1nbsped-3540653074-9783540653073.jpg)
![Application of Petri Nets to Communication Networks: Advances in Petri Nets [1 ed.]
354065870X, 9783540658702](https://ebin.pub/img/200x200/application-of-petri-nets-to-communication-networks-advances-in-petri-nets-1nbsped-354065870x-9783540658702.jpg)
![Petri Net Technology for Communication-Based Systems: Advances in Petri Nets [1 ed.]
3540205381, 9783540205388](https://ebin.pub/img/200x200/petri-net-technology-for-communication-based-systems-advances-in-petri-nets-1nbsped-3540205381-9783540205388.jpg)
![Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings [1st ed.]
9783030518301, 9783030518318](https://ebin.pub/img/200x200/application-and-theory-of-petri-nets-and-concurrency-41st-international-conference-petri-nets-2020-paris-france-june-2425-2020-proceedings-1st-ed-9783030518301-9783030518318.jpg)
![Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [1 ed.]
3540515259, 9783540515258](https://ebin.pub/img/200x200/finite-reresentations-of-ccs-and-tcsp-programs-by-automata-and-petri-nets-1nbsped-3540515259-9783540515258.jpg)