decomposed petri net

from The Free On-line Dictionary of Computing (8 July 2008)

Decomposed Petri Net
DPN

   <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}.

   (2006-11-27)