Parallel Programs as Petri Nets door Bernd Grahlmann