Decomposition of transition systems into sets of synchronizing state machines.

Viktor Teren Jordi Cortadella Tiziano Villa

Published in: CoRR (2021)

Keyphrases

state machines
transition systems
reactive systems
state machine
concurrent systems
petri net
model checking
finite state
temporal logic
control flow
recurrent networks
practical reasoning
biologically inspired
sequence diagrams
data flow
real time
information flow
fault tolerant
data model
learning algorithm