Parallel Programs as Petri Nets Munzinger Str. 9 Dynamic interactive assessment has been a 9783110089400 Dynamic interactive assessment has been a long time coming while the authors bore up well under editorial pressure to meet deadlines This book gives a Petri net based solution to the challenge of simulation The presented formal definition of compositional high level Petri net semantics for B(PN)² (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN)² and SDL) and processes with dynamic creation and termination (in SDL) into high level Petri nets