Timed Symbolic Dynamics.

Published in: FORMATS (2015)

Keyphrases

petri net
symbolic representation
dynamic model
dynamical systems
high level
finite state machines
connectionist models
neural learning
database
data sets
databases
genetic algorithm
data structure