论文标题
树型模型的模块化分析
Modular Analysis of Tree-Topology Models
论文作者
论文摘要
我们研究了自动机的网络，该网络在公共动作标签上同步。自动机之间的图形同步拓扑的定义以使两个自动机连接的方式如果它们可以通过动作进行同步。我们显示出具有树状同步拓扑的自动机网络的非常有效的降低。减少保留了一定形式的可及性，但不能保留安全性。该过程是在开源工具中实现的。
We investigate networks of automata that synchronise over common action labels. A graph synchronisation topology between the automata is defined in such a way that two automata are connected iff they can synchronise over an action. We show a very effective reduction of networks of automata with tree-like synchronisation topologies. The reduction preserves a certain form of reachability, but not safety. The procedure is implemented in an open-source tool.
