Állapot alapú modellezés, állapotttér, állapotgép, absztrackió, aszinkron szorzat.
Feladatok,
Megoldás