把博弈挂到Petri网的位置上：新发现的钓鱼场景只用一个入口值就能并入旧攻击战役，不必重解

大型策略系统不再被压成一盘全局博弈，而是拆成若干局部博弈，每个局部博弈的结局决定下一步哪些交互成为可能、谁参与、带什么资源。 此前的做法要么把整个系统写成一棵随阶段数成倍增长的扩展式博弈，要么写成全局状态上的随机博弈，子交互的身份和接口在状态里被抹掉；Petri博弈则只问胜负，不带收益和均衡选择。 在39段企业网络算例中，分解后的模型约需若干树节点量级的规模，而整体扩展式约为另一量级，两者相差一个数量级。

做法是把局部博弈挂到着色Petri网的博弈位置上，博弈结束时由博弈到令牌的接口把绑定、行动组合和结局转成带类型的令牌。 这些令牌随后像普通令牌一样启用带守卫的分支、分叉和同步，因此一个结局可以同时开启多个后续博弈，也可以要求多个博弈都完成才放行下一个。 模型把结构网、局部博弈和解层分开，分别对应关联矩阵、局部收益与结局概率矩阵、以及博弈之间的路由矩阵，守卫只作用于关联矩阵，激励工具只作用于局部矩阵。

在顺序网中，全局均衡恰好是各位置局部均衡的集合，只是每个局部博弈要加上该均衡自身产生的延续价值。 均衡值可以按位置图强连通分量的逆拓扑序逐块求解，代价对局部博弈规模是可加的，而不是相乘的。 在维护流程算例中，分级路由把原本唯一的偷懒均衡反转成合作均衡，而二元路由做不到；在入侵战役算例中，欺骗姿态把上游位置处攻击者的价值压低，却没有改变任何动作。

这套均衡与计算结论适用于顺序式网，即同一时刻至多一个博弈处于活动状态，且展开后的网有限；并发交互由一般语义表示，但其分析回落到标记层面的随机博弈，状态空间可能很大。局部博弈取完全信息的正规形，调度器是外生的。文中给出的下一步是工具链与算例标定：把工作流或攻击图描述编译成这类网、计算证书与取值、并报告粗粒度摘要失准的位置，以及把算例按运行数据标定。

均衡与计算结论依赖顺序式网假设和有限展开假设，并发策略交互只能退回标记层面的随机博弈。展开网的构造代价不在复杂度界内，颜色或绑定空间大时这一步本身可能很贵。局部博弈为完全信息正规形，调度器外生。数值算例为示意性，未按数据标定。作者还提出一条关于接口契约下选择无关安全性的猜想，尚未证明。