(DPN) A Petri net that has been split into multiple, interconnected nets. This makes it easier to analyse or run the net.
DPNs are the basis of concurrency in ConC.