A lumped Markov process for a class of dynamic Petri nets