(Symbolic) state-space inspection of a class of dynamic Petri nets