fsm - 並行システムの有限ステートマシン

Question

フロー分析手法を使用して、並行システムの到達不能障害を検出する新しいアルゴリズムを考案しました。実験を行うためのネットワーク プロトコルなど、大規模な同時システム (おそらく数百の状態) の有限状態マシンを見つける必要があります。ただし、ウェブ上で見つけることができません。誰でも手がかりを教えてもらえますか？

それらの間の遷移を同期させる必要があるステート マシンが必要です。

前もって感謝します。

Answer 1

TCPの状態：

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

これは大きくはありませんが、良いものです。

Answer 2

重要な Erlang プログラム。Erlang プログラムは通常、メッセージを交換する何百もの (場合によっては同時の) プロセスで構成されます。

Answer 3

Reliable Provisional ResponsesでSIPステート マシンを使用すると、ICEが非常に大きくなると聞いたことがあります。しかし、これらの標準から状態図を再構築するには時間がかかります (世界中の SIP 開発者は、そのような図が正確で完全なものであることに感謝するでしょう)。

Q.931 (ISDN UNI プロトコル) には、優れた SDL 状態図があります。ただし、州は 25 州しかありません。