Investigating Reversibility of Steps in Petri Nets | Publicación