Observer design for untimed continuous Petri nets | IEEE Conference Publication | IEEE Xplore