LiftSystem Level 0 4 Direction -1 1 InternalRequest Users intReq Cover level Level Controller intReq Users level Level Controller UpdateIntReq ExternalRequest Users extReq Cover level Level dir Direction Controller extReq Users level Level dir Direction Controller UpdateExtReq Arrive Shaft arriving Controller Controller arrving Shaft Shaft 11 stop Controller stopped Controller keepmoving Controller Controller UpdatePos 1 Arrive_Condition_1 11 111 toStop stop Shaft stopped Shaft SetStateHolding open Door opened Door ClearReq keepmoving Shaft Door 11 open Controller opened Controller ReopenDoorFromInside Users intReq Controller level Level Controller intReq Users level Level Controller ReopenDoorFromInside_Condition_1 open Door opened Door Door open Controller opened Controller ReopenDoorFromOuside Users extReq Controller level Level dir Direction Controller extReq Users level Level dir Direction Controller ReopenDoorFromOutside_Condition_1 open Door opened Door Door open Controller opened Controller ServeInitExtRequest Users extReq Controller level Level dir Direction Controller extReq Users level Level dir Direction Controller ServeInitExtRequest_Condition_1 1 ServeInitExtRequest_Condition_2 SetDirUp SetStatusMoving movingup Shaft ServeInitExtRequest_Condition_3 SetDirDown SetStatusMoving movingdown Shaft ServeInitIntRequest Users intReq Controller level Level Controller intReq Users level Level Controller ServeInitIntRequest_Condition_1 1 ServeInitIntRequest_Condition_2 SetDirUp SetStatusMoving movingup Shaft ServeInitIntRequest_Condition_3 SetDirDown SetStatusMoving movingdown Shaft ServeNextRequest Controller closed Door Door closed Controller Controller 1 existReqAtSameDir keepmoving Shaft SetStateMoving 2 existReqAtPos TurnAround open Door ClearReq existReqAtSameDir turnaroundmoving Shaft SetStateMoving OpenCloseDoor Controller open Door opened Door Door open Controller opened Controller Controller x 5 close Door closed Door Door close Controller NoMoreRequest Controller closed Door Door closed Controller Controller reqEmpty SetDirZero SetStatusHolding