Study on real-time discrete event systems by using controlled temporal timed-Petri-nets.

Changyou Liu Yongjian Li

Published in: CDC (2003)

Keyphrases

discrete event systems
timed petri nets
complex systems
petri net
temporal constraints
discrete event
model based diagnosis
telecommunication networks
search space
mathematical modeling
steady state
heuristic search
model checking