2
Published 1993
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

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

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