Observer design for untimed continuous Petri nets | Publicación