Behavioral Specification of Nondeterministic State Machines by Event Sequence Sets.

Nagatsugu Yamanouchi

Published in: Systems and Computers in Japan (1990)

Keyphrases

state machines
state machine
event sequences
petri net
recurrent networks
fault tolerant
event types
sequence diagrams
reactive systems
feed forward
finite state machines
neural network