Title: Parallel Programs As Petri Nets