Observer design for free choice Continuous timed Petri nets with infinite servers semantics | IEEE Conference Publication | IEEE Xplore