DPN
Decomposed Petri Net