Petri 博弈：具有因果记忆的分布式系统综合
计算机科学中的逻辑
2014-08-27 v2
摘要
我们提出了一种新的多人博弈模型，用于描述分布式系统中的交互与信息流。玩家是 Petri 网中的令牌。只要玩家在网的独立部分移动，他们就互不知晓；当他们在共同变迁处同步时，每个玩家都会获知其他玩家的因果历史。我们表明，对于具有单个环境玩家和任意有界数量系统玩家的 Petri 博弈，判定系统玩家是否存在安全策略是 EXPTIME-完全的。
引用
@article{arxiv.1406.1069,
title = {Petri Games: Synthesis of Distributed Systems with Causal Memory},
author = {Bernd Finkbeiner and Ernst-Rüdiger Olderog},
journal= {arXiv preprint arXiv:1406.1069},
year = {2014}
}
备注
In Proceedings GandALF 2014, arXiv:1408.5560