Semantics and Execution Time of New Timed Statecharts.

Jan Magott Pawel Skrobanek

Published in: Fundam. Informaticae (2016)

Keyphrases

petri net
control flow
logic programming
active rules
execution model
formal semantics
agent oriented
logical framework
reactive systems
timed automata
state transition
formal methods
plan execution