多有限状态机

代码说明：

多有限状态机 (M-FSM) 模拟器。M-有限状态机使用 FSM 模拟器，并允许设计师，包括 他们的设计中的并发。FSM M 的定义是常见的变量部分 和使用有限状态机的列表。 将在一个单独的线程中运行时 mfsm 运行每个其"机" 有限状态机 (FSM) 模拟器。 目标是使系统设计师进行建模和模拟他们的系统行为 同时还在设计阶段。模拟器读取输入的文件，其中包含 FSM 描述。FSM 描述文件包含三个主要部分: (1) 计算机名称;() 2 变量一节;（3） 各国科;和 (4) 迁移部分 （请参阅下面的示例）。