State enumeration with abstract descriptions of state machines.

Francisco Corella Michel Langevin Eduard Cerny Zijian Zhou Xiaoyu Song

Published in: CHARME (1995)

Keyphrases

state machines
state machine
petri net
recurrent networks
neural network
artificial intelligence
fuzzy logic
software engineering
multi modal
object model
finite state machines
sequence diagrams