Timed Petri nets : theory and application - Wang, Jiacun, 1963- (Kluwer international series on discrete event dynamic systems ;, 1998)