@inbook{inbook733e4563,
title   = {Timed Petri nets},
author = {Silva, José Reinaldo and Del Foyo, Pedro Manuel Gonzalez},
year = {2012},
publisher = {Intech},
journal   = {Petri Nets - Manufacturing and Computer Science}
}