Lorenzo Capra, Walter Cazzola: (Symbolic) state-space inspection of a class of dynamic Petri nets. SummerSim 2010: 522-530