活动图在本质上就是_________图，它很好地描述了系统的活动、判定点、先后顺序和分支等。