Symbolic analysis of bounded Petri nets | Publicación