On observability in timed continuous Petri net systems | IEEE Conference Publication | IEEE Xplore