Sign in
Controllability for discrete event systems modelled in VeriJ.
Yan Zhang
Béatrice Bérard
Lom-Messan Hillah
Fabrice Kordon
Yann Thierry-Mieg
Published in:
Int. J. Crit. Comput. Based Syst. (2014)
Keyphrases
</>
discrete event systems
petri net
complex systems
model based diagnosis
failure diagnosis
temporal constraints
discrete event
simple temporal
telecommunication networks
timed petri nets
high level
image sequences
multi agent systems
database design
simulation model