Consistent reduction in discrete-event systems.

Kai Cai Alessandro Giua Carla Seatzu

Published in: Autom. (2022)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
failure diagnosis
model based diagnosis
timed petri nets
discrete event
temporal constraints
dynamic systems
high level
search algorithm
multi agent systems
low level
simulation model