Timed Petri nets - Silva, José Reinaldo; Del Foyo, Pedro Manuel Gonzalez (Petri Nets - Manufacturing and Computer Science, 2012)