Leseprobe: Parallel Programs as Petri Nets