Leveraging polyhedral reductions for solving Petri net reachability problems | Publicación