DPN

Decomposed Petri Net