Simulation of Petri nets and linear enabling functions | Publicación