Lectures on Petri Nets II: Applications: Advances in Petri Nets [1 ed.] 3540653074, 9783540653073
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond
287 86 4MB
English Pages 487 [488] Year 1998
Table of contents :
Petri nets, process algebras and concurrent programming languages....Pages 1-84
Petri nets and production systems....Pages 85-124
Computer Supported Cooperative Work and Petri Nets....Pages 125-153
Petri nets and digital hardware design....Pages 154-236
An introduction to the practical use of coloured Petri Nets....Pages 237-292
Protocol specification using P-graphs, a technique based on coloured Petri Nets....Pages 293-330
Distributed algorithms for networks of agents....Pages 331-385
Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras....Pages 386-437
Modelling and analysis of distributed software using GSPNs....Pages 438-477
Petri nets, process algebras and concurrent programming languages....Pages 1-84
Petri nets and production systems....Pages 85-124
Computer Supported Cooperative Work and Petri Nets....Pages 125-153
Petri nets and digital hardware design....Pages 154-236
An introduction to the practical use of coloured Petri Nets....Pages 237-292
Protocol specification using P-graphs, a technique based on coloured Petri Nets....Pages 293-330
Distributed algorithms for networks of agents....Pages 331-385
Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras....Pages 386-437
Modelling and analysis of distributed software using GSPNs....Pages 438-477
![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)
- Author / Uploaded
- Eike Best
- Raymond Devillers
- Maciej Koutny (auth.)
- Wolfgang Reisig
- Grzegorz Rozenberg (eds.)
- Similar Topics
- Computers
![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)
![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)