@inproceedings {IPSiRe05, title = {Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control}, year = {2005}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, author = {M. Silva and L. Recalde} }