An Efficient Characterization of Petri Net Solvable Binary Words | Publicación