Timing-dependent boundedness and liveness in continuous Petri nets | Publicación