Modeling, specification and controller synthesis for discrete event systems.

Bengt Lennartson Michael Tittus Martin Fabian

Published in: SMC (1998)

Keyphrases

discrete event systems
petri net
complex systems
controller synthesis
model based diagnosis
discrete event
telecommunication networks
autonomic computing systems
timed petri nets
expert systems
failure diagnosis