Nonsequential processes: a petrinet view - Best Eike; Fernendez C Cesar (Berlin Springer Verlag, 1980)