Конечный автомат параллельной системы

Question

Я разрабатываю новый алгоритм для использования метода анализа потока для обнаружения ошибок недоступности в параллельных системах.Мне нужно найти какой-то конечный автомат большой параллельной системы (возможно, с сотнями состояний), такой как сетевые протоколы, для проведения экспериментов.Тем не менее, я не могу найти его в Интернете.Кто-нибудь может дать мне некоторую подсказку?

Мне нужны автоматы, чтобы переходы между ними были синхронизированы.

Заранее спасибо.

Answer 1

Любая нетривиальная программа Erlang.Программы Erlang обычно состоят из сотен (потенциально одновременных) процессов, обменивающихся сообщениями.

Answer 2

Я слышал, что конечный автомат SIP при использовании с Надежными предварительными ответами и ICE становится действительно большим. Но восстановление диаграммы состояний из этих стандартов займет много времени (разработчики SIP по всему миру были бы благодарны за такую ​​диаграмму, если бы она была правильной и полной).

Q.931 (протокол ISDN UNI) имеет хорошие диаграммы состояния SDL. Это всего 25 штатов.

Answer 3

TCP состояния:

http://en.wikipedia.org/wiki/File:Tcp_state_diagram_fixed.svg

это не большой, но хороший.