Kripke Structure -Error start oven open door close door open door 器 start Close ERror ERror open do close door start oven start cooking cHeat -Heat ErroKripke Structure