Seto: A Framework for the Decomposition of Petri Nets and Transition Systems | IEEE Conference Publication | IEEE Xplore