Observational Semantics for Timed Event Structures.

Irina B. Virbitskaite

Published in: Ershov Memorial Conference (2001)

Keyphrases

formal semantics
petri net
markov chain
event detection
temporal relations
hierarchical structures
data model
knowledge representation
semantic information
news stories
event driven
observational data
timed automata