Výpočetní model, skládající se z konečný počet států a přechody mezi těmito státy, případně s doprovodných akcí.