Viktor Teren, Jordi Cortadella, Tiziano Villa. Seto: A Framework for the Decomposition of Petri Nets and Transition Systems. In 26th Euromicro Conference on Digital System Design, DSD 2023, Golem, Albania, September 6-8, 2023. pages 669-677, IEEE, 2023. [doi]
Abstract is missing.