On/off control with observer's state feedback for continuous timed Petri nets.