Timing and liveness in continuous Petri nets | Publicación