Timed recursive state machines: Expressiveness and complexity.

Massimo Benerecetti Adriano Peron

Published in: Theor. Comput. Sci. (2016)

Keyphrases

state machines
petri net
state machine
expressive power
database
high level
artificial neural networks
low level
finite state machines
real time systems