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