#A4#
##
#Passenger#
#DoorMotor#
#DoorControl#
#Sequence Diagram 5A: Group 12 - tke, semerson, dgorzigl, dhaddox#
##
##
##
##
##
##
##
##
##
##
##
##
##
##
##
##
##
##
##
##
#3a. DoorMotor[b,*]=Open#
#2a. Passenger eneters elevator
#
##
##
##
##
##
##
#DoorReversal#
##
#1a. Dwell time counter expires
#
##
#1b. DoorMotor[b,*]=Close#
#2b. mDoorReversal[b,r] = True#
#4a. Dwell time counter expires
#
##
##
#DoorClosed#
##
##
#5a. mDoorClosed[b,r] = True#
#4b. DoorMotor[b,*]=Nudge#
#5b. DoorMotor[b,*]=Stop#
##
#DoorOpened#
##
##
##
#3b. mDoorOpened[b,r] = True#
##
#3c. DoorMotor[b,*]=Stop#
##
##
##
#2c. DoorHasReversed = true#
##
##
##
##
#5c. DoorHasReversed = false#
##
##
##
##