Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control