Timed transition automata and their ladder logic implementation.

Murat Uzam Gökhan Gelen Recep Dalci

Published in: ICAT (2009)

Keyphrases

timed automata
artificial intelligence
model checking
petri net
finite state machines
information systems
cellular automata
efficient implementation
classical logic
epistemic logic