DPN ⇝

Decomposed Petri Net

(parallel)   (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.

Last updated: 2006-11-27


Loading