Petri 博弈综合问题的（不）可判定性边界
计算机科学中的逻辑
2023-10-03 v1
摘要
Petri 博弈是一种用于分布式系统自动综合的多方博弈模型，其中参与者表示为 Petri 网上的令牌，并分为环境参与者和系统参与者。只要参与者在网中独立部分移动，他们彼此不知晓；当他们在联合变迁处同步时，每个参与者获知其他参与者的完整因果历史。我们表明，在全局安全条件下，两人 Petri 博弈的综合问题是 NP 完全的，且在最多 4 名参与者的情况下可在非确定性指数上界内求解。此外，我们证明了在局部安全条件下，至少 6 名参与者的 Petri 博弈综合问题是不可判定的。
引用
@article{arxiv.2310.01000,
title = {(Un)Decidability Bounds of the Synthesis Problem for Petri Games},
author = {Paul Hannibal},
journal= {arXiv preprint arXiv:2310.01000},
year = {2023}
}
备注
In Proceedings GandALF 2023, arXiv:2309.17318