Seto: A Framework for the Decomposition of Petri Nets and Transition Systems.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Browse the full DSD paper archive.