Weighted Timed MSO Logics.

Published in: Developments in Language Theory (2009)

Keyphrases

petri net
expressive power
regular expressions
weighted sum
discrete event
databases
computational complexity
modal logic
finite state
dynamic systems
nonmonotonic logics
propositional dynamic logic