Timed petri nets theory and application - Wang, Jiacun (Nijhoff, 1998)