Modeling discrete-event systems with constraints.

Lothar Seybold Piotr Witczak Pawel Majdzik

Published in: MMAR (2013)

Keyphrases

discrete event systems
petri net
telecommunication networks
complex systems
constrained optimization
discrete event
timed petri nets
computational complexity
dynamic programming
np complete
temporal reasoning
temporal constraints
geometric constraints
model based diagnosis