Decomposed Petri Net


Decomposed Petri Net

(parallel)(DPN) A Petri net that has been split intomultiple, interconnected nets. This makes it easier toanalyse or run the net.

DPNs are the basis of concurrency in ConC.