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