Rules:
IF GPS_1537 distance==60 THEN Water_Heater_1679 execute BEGIN IF GPS_1537 distance==25 THEN Bathtube_2565 execute BEGIN IF Water_Heater_1679 execute READY THEN Bathtube_2565 execute PREPARE
IF GPS_1537 distance==60 THEN Water_Heater_1679 execute BEGIN
IF GPS_1537 distance==25 THEN Bathtube_2565 execute BEGIN
IF Water_Heater_1679 execute READY THEN Bathtube_2565 execute PREPARE
Policy:
The temperature of water in Bathtube_2565 never below 40.
©2017 SEG, Nanjing University