3 J. Julvez E. Jimenez L. Recalde M. Silva G. Katoen M. Woodside 2004 On Observability in Timed Continuous Petri Net Systems IEEE Computer Society Press 60-69 9