Lectures on Petri Nets II: Applications: Advances in Petri Nets

Front Cover
Wolfgang Reisig, Grzegorz Rozenberg
Springer Science & Business Media, Nov 4, 1998 - Computers - 487 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Petri Nets Process Algebras and Concurrent Programming Languages
1
Table of Contents Volume
4
Petri Nets and Production Systems
85
Basic Classes
92
PlaceTransition Petri Nets
122
Computer Supported Cooperative Work and Petri Nets
125
Petri Nets and Digital Hardware Design
154
Principles of HighLevel Net Theory
174
Decidability and Complexity of Petri Net Problems An Introduction
374
Application of Stochastic and Timed Nets
386
The State Explosion Problem
429
Modelling and Analysis of Distributed Software Using GSPNs
438
Author Index
479
TopDown and BottomUp and Meeting
3
A Trace Perspec 643
27
The Alma Project or How FirstOrder Logic Can Help Us in Imperative
89

An Introduction
211
Analysis and Synthesis
236
Applications of High Level Nets
237
Basic Linear Algebraic Techniques for PlaceTransition Nets
257
Protocol Specification Using PGraphs a Technique Based on Coloured
293
Linear Algebraic and Linear Programming Techniques for the Analysis
309
Distributed Algorithms for Networks of Agents
331
K R Apt A Schaerf
114
F Nielson H R Nielson
134
J S Moore
140
Multiple State and Single State Tableaux for Combining Local and Global
163
A Biere EMClarke Y
180
Author Index 683
417
Copyright

Common terms and phrases