Nonsequential processes : a Petri net view - Best, Eike (Springer Verlag, 1988)