when a transition which belongs to a concurrency structure in the detailed model is deleted, the maximal duration of the locations that follow immediatedly the remaining transitions of this structure is increased by the time of the removed concurrent treatment.