Symmetry reductions for a class of discrete-event systems.

Kurt Rohloff Stéphane Lafortune

Published in: CDC (2004)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
failure diagnosis
lower bound
constraint satisfaction
discrete event