Normalization of Some Extended Abstract State Machines.

Patrick Cégielski Irène Guessarian

Published in: Fields of Logic and Computation (2010)

Keyphrases

extended abstract
state machines
state machine
petri net
recurrent networks
sequence diagrams
multi modal
genetic algorithm
open source
fault tolerant