3 J. Julvez E. Jimenez L. Recalde M. Silva 2004 Design of Observers for Timed Continuous Petri Net Systems 1678-1685