A rendszermodellezés házifeladatban akadtam egy hibára. Yakinduban létrehoztam 2 változót. 1.whiteTime 1200as kezdő értékkel 2.blackTime (ugyan azon értékek)
és két állapotátmenet őrfeltételei: A: [whiteTime<5] B: [blackTime<5]
B nem megy