A comparison among tools for the diagnosability of discrete event systems.

Maria Paola Cabasino Alessandro Giua Laura Marcias Carla Seatzu

Published in: CASE (2012)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
failure diagnosis
discrete event
timed petri nets
software tools
simulation model
dynamic systems
end users
mathematical model
temporal constraints