Протоколы можно описывать не только с помощью модели машины конечных состояний. Альтернативой можно считать сети Петри (смотри, также книгу “Сети Петри”, Котов В.Е., Москва, “Наука”, ГРФМЛ, 1984 откуда взяты некоторые…