β Scribed by W. Reisigs, G. Rozenberg (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 II: Applications" 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.
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
Theory of Computation; Software Engineering; Computer Communication Networks; Business Information Systems; Systems and Information Theory in Engineering
π SIMILAR VOLUMES
<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>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
<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
<p>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 succe