并发系统的有限状态机

Question

我设计了一种新算法，使用流分析技术检测并发系统中的不可达性故障。我需要找到一些大型并发系统（可能有数百个状态）的有限状态机，如网络协议来做实验。但是，我无法在网上找到它。谁能给我一些线索？

我需要状态机，它们之间的转换应该同步。

提前致谢。

Answer 1

TCP声明：

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

这不是很大但很好。

Answer 2

任何非平凡的Erlang程序。 Erlang程序通常由数百个（可能是并发的）进程交换消息组成。

Answer 3

与SIP一起使用时，我听到了Reliable Provisional Responses状态机，而ICE变得非常大。但是，从这些标准重建状态图将非常耗时（如果它是正确和完整的话，世界各地的SIP开发人员将非常感谢拥有这样的图表。）

Q.931（ISDN UNI协议）具有很好的SDL状态图。但这只是25个州。