Bernd Grahlmann

• Parallel Programs As Petri Nets