Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.

Jan Komenda Jan H. van Schuppen

Published in: CDC/ECC (2005)

Keyphrases

discrete event systems
specification languages
discrete event
special case
complex systems
petri net
timed petri nets
failure diagnosis
telecommunication networks
model based diagnosis
expert systems
information systems
database
search space
formal specification
computational complexity
high level
databases