1
Published 1995
Springer London
Table of Contents: ... -- An Event-Based SOS for a Language with Refinement -- On the Computation of Place Invariants for Algebraic...

2
Published 1998
Springer Berlin Heidelberg
... of the latest results in the application and theory of Petri nets. It always takes place in the last week...

3
Published 2004
Springer Berlin Heidelberg
...- agement (BPM 2004) which took place in Potsdam, Germany, in June 2004. From more than 70 submissions BPM...