A Markov process for reflective Petri Nets