Efficient encoding schemes for symbolic analysis of Petri nets | Publicación