On monotonicity and continuity: computing problematic configurations in timed continuous Petri nets | Publicación