Automatic Synthesis of State Machines from Trace Diagrams.

Alfredo M. Maeda Jun-Ichi Aoe Hideto Tomabechi

Published in: Softw. Pract. Exp. (1994)

Keyphrases

state machines
state machine
sequence diagrams
petri net
recurrent networks
reactive systems
neural network
training data
intermediate representation