Observer design for Continuous timed Petri Nets with product server semantics | Publicación