Activity-Driven Synthesis of State Machines.

Rolf Hennicker Alexander Knapp

Published in: FASE (2007)

Keyphrases

state machines
state machine
petri net
recurrent networks
data structure
fault tolerant