Reversing Steps in Petri Nets | Publicación