1
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... -- Principles of high-level net theory -- Petri nets in performance analysis: An introduction -- Basic linear...

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its...

3
Published 1987
Springer Berlin Heidelberg
...Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid...