A timed LOTOS supporting a dense time domain and including new timed operators.

Guy Leduc Luc Léonard

Published in: FORTE (1992)

Keyphrases

petri net
timed automata
frequency domain
artificial intelligence
discrete event
real time
data mining
search engine
information systems
database systems
multiscale
data structure
digital libraries
query processing
decision support
morphological operators