Modular construction of compact Petri net models | Publicación