Timing and deadlock-freeness in Continuous Petri nets | Publicación