complete the notification process; fix the halting process and consequently adapts the vertex value to keep the right state.