Článek popisuje model plánovacích problémů založený na konečných automatech a navrhuje koncerzní procedury pro převode tohoto modelu a tradičním modelů SAS+ a PDDL.