Rules:
IF GPS_1537 distance==30 THEN Water_Heater_1679 execute BEGIN IF GPS_1537 distance==15 THEN Bathtube_2565 execute BEGIN IF Water_Heater_1679 execute READY THEN Bathtube_2565 execute PREPARE
IF GPS_1537 distance==30 THEN Water_Heater_1679 execute BEGIN
IF GPS_1537 distance==15 THEN Bathtube_2565 execute BEGIN
IF Water_Heater_1679 execute READY THEN Bathtube_2565 execute PREPARE
Policy:
Never reach the state that Water_Heater_1679 is Heating and GPS_1537.distence<15
©2017 SEG, Nanjing University