decomposed Petri nets