Decomposed Petri Net

(DPN) The basis of concurrency in ConC.