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

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