On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets | Publicación