--点对点网络示例见【Toumi等人，2015年】--参考编号：--【Toumi等人，2015年】Alexis Toumi、Julian Gutierrez和Michael Wooldridge。--并发游戏中纳什均衡的自动验证工具。--在ICTAC中，LNCS第9399卷，第583-594页，哥伦比亚卡利，2015年。斯普林格。模块ma控制ua，da初始化：：true~>ua'：=真，da'：=假；：：true~>ua'：=false，da'：=true；更新：：true~>ua'：=真，da'：=假；：：true~>ua'：=false，da'：=true；目标：：G F（da和ub）；模块mb控制ub、db初始化：：true~>ub'：=true，db'：=false；：：true~>ub'：=false，db'：=true；更新：：true~>ub'：=true，db'：=false；：：true~>ub'：=false，db'：=true；目标：：G F（db和ua）；