Decomposition of transition systems into sets of synchronizing state machines. - Viktor Teren; Jordi Cortadella; Tiziano Villa (DSD, 2021)

Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets. - Viktor Teren; Jordi Cortadella; Tiziano Villa (DSD, 2022)

Seto: A Framework for the Decomposition of Petri Nets and Transition Systems. - Viktor Teren; Jordi Cortadella; Tiziano Villa (DSD, 2023)

Generation of synchronizing state machines from a transition system: A region-based approach. - Viktor Teren; Jordi Cortadella; Tiziano Villa (Int. J. Appl. Math. Comput. Sci., 2023)