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

315 88 4MB

English Pages 487 [488] Year 1998

Report DMCA / Copyright

DOWNLOAD DJVU FILE

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

Lectures on Petri Nets II: Applications: Advances in Petri Nets [1 ed.]
 3540653074, 9783540653073

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers