Employing behavioral preorders to define controllability for nondeterministic discrete-event systems.

Jasen Markovski

Published in: Discret. Event Dyn. Syst. (2015)

Keyphrases

discrete event systems
petri net
model based diagnosis
complex systems
timed petri nets
telecommunication networks
failure diagnosis
discrete event
temporal constraints
simple temporal
intelligent systems
temporal reasoning
finite automata
object oriented
finite state