Erlang: реализация конечного автомата с использованием gen_fsm

Я нашел этот урок действительно полезным -

http://spawnlink.com/articles/an-introduction-to-gen_fsm-erlybanks-atm/index.html

Вы также можете обратиться к официальной документации по erlang.

http://www.erlang.org/doc/design_principles/fsm.html

Пример запертой двери, приведенный по ссылке, довольно легко понять.