Observer design for Continuous timed Petri Nets with product server semantics | IEEE Conference Publication | IEEE Xplore