32 citations · 41 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Decomposition of transition systems into sets of synchronizing state machines
Viktor Teren, Jordi Cortadella, Tiziano Villa
Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a giv…
cs.FL2021
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…