The control of parallel computations by labeled Petri nets: a study in terms of multiple-firing automata and parallel program schemata - Riedemann, Eike Hagen (Univ., Abt. Informatik, 1979)