Несколько конечных автоматов в одной модели?

У меня есть модель, которая представляет процесс регистрации, который должен отследить прогрессию нескольких процессов (проверки данных, интервью, сбор информации...). Каждый может быть представлен конечным автоматом, и затем полное состояние регистрации могло бы зависеть от состояния других.

aasm может обработать это? Какие-либо другие идеи или конструктивные соображения?