Timed Petri nets theory and application - Wang, Jiacun (Kluwer, 1998)