Controllability of timed continuous Petri nets with uncontrollable transitions | Publicación