Nonsequential processes : a Petri net view - Best, Eike (Eatcs Monographs on Theoretical Computer Science / Springer Verlag., 1988)