Login / Signup
Parameterized supervisor synthesis for a modular class of discrete event systems.
Belhassen Zouari
Kamel Barkaoui
Published in:
SMC (2003)
Keyphrases
</>
discrete event systems
petri net
model based diagnosis
complex systems
failure diagnosis
telecommunication networks
temporal constraints
discrete event
timed petri nets
modular structure