RasGTP_minus_NF1_star_ -> RasGDP_minus_NF1_Pi
RasGDP_minus_NF1_Pi -> RasGTP_minus_NF1_star_
RasGDP_minus_NF1_Pi -> Pi + RasGDP_NF1
Pi + RasGDP_NF1 -> RasGDP_minus_NF1_Pi
RasGTP_minus_NF1 -> RasGTP_minus_NF1_star_
RasGTP_minus_NF1_star_ -> RasGTP_minus_NF1
RasGDP_NF1 -> NF1 + RasGDP
NF1 + RasGDP -> RasGDP_NF1
NF1 + RasGTP -> RasGTP_minus_NF1
RasGTP_minus_NF1 -> NF1 + RasGTP