Decomposed Petri Net
(DPN) The basis of
concurrency
in
ConC
.