Decomposition of transition systems into sets of synchronizing state machines.

Viktor Teren Jordi Cortadella Tiziano Villa

Published in: DSD (2021)

Keyphrases

state machines
transition systems
reactive systems
state machine
concurrent systems
model checking
petri net
temporal logic
finite state
recurrent networks
control flow
practical reasoning
neural network
sequence diagrams
distributed systems
social networks
fault tolerant
markov chain
supply chain
fuzzy logic