1-2 of 2 Books
Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
Time And Petri Nets
By Louchka Popova