Expressiveness of Timed Events and Timed Languages.

Diletta Cacciagrano Flavio Corradini

Published in: SFM (2004)

Keyphrases

petri net
expressive power
timed automata
model checking
discrete event
database
event detection
colored petri nets
markov chain
language independent
computational properties