M: A

1
Homework 2, Part 1 Reachability Analysis Chris
Thornlow CS522
GS0
M -R
N -R
GS2
GS1
M -R
N R
M R
N -R
GS5
GS4
GS3
M -A
M R
N -A
N R
GS9
GS8
GS7
GS6
M A
N A
N -B
N R
M R
GS12
GS11
GS10
GS13
N -D
M -D
N -B
M R
GS14
GS16
GS15
N D
N -R
M D
M -R
Unspecified Reception
GS18
GSO
GS17
GSO
M D
N D
GS1
GS2
2
Non-executable State or Transition