Manuel Silva Laura Recalde Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. 26-47 2005 conf/apn/2005 ICATPN http://dx.doi.org/10.1007/11494744_4 db/conf/apn/icatpn2005.html#SilvaR05