β Scribed by Eike Best, Raymond Devillers, Maciej Koutny (auth.), Wolfgang Reisig, Grzegorz Rozenberg (eds.)
No coin nor oath required. For personal study only.
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 I: Basic Models" 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 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
Theory of Computation; Software Engineering; Computer Communication Networks; Business Information Systems; Systems and Information Theory in Engineering
π SIMILAR VOLUMES
<P>This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichst?tt, Germany in September 2003.</P><P>In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the are
<p>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. <BR>Together with its companion v
<p>Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding
<span>Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth.<br>These su