Parallel Programs as Petri Nets by Bernd Grahlmann