Seto: A Framework for the Decomposition of Petri Nets and Transition Systems | Publicación