文件Open Access徽标

为分布式合成翻译异步游戏

作者 乌鸦贝特纳, 伯恩德·芬克贝纳, 杰斯科·赫金·哈布什

PDF格式
缩略图PDF

文件

LIPIcs公司。CONCUR.2019.26.pdf格式
  • 文件大小：0.56 MB
  • 16页

文件标识符

作者详细信息

乌鸦贝特纳
  • 德国萨尔布吕肯萨尔州大学
伯恩德·芬克贝纳
  • 德国萨尔布吕肯萨尔州大学
杰斯科·赫金·哈布什
  • 德国萨尔布吕肯萨尔州大学

基金

由德国研究基金会（DFG）Grant Petri Games（392735815）和协作研究中心“引人注目的软件系统基础”（TRR 2483892660）以及欧洲研究委员会（ERC）Grant OSARES（683300）提供支持。

引用为获取BibTex

Raven Beutner、Bernd Finkbeiner和Jesko Hecking-Harbusch。为分布式合成翻译异步游戏。第30届并行理论国际会议（CONCUR 2019）。莱布尼茨国际信息学论文集（LIPIcs），第140卷，第26:1-26:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2019）
https://doi.org/10.4230/LIPIcs.CONCUR.2019.26

摘要

在分布式合成中，生成一组过程实现，这些实现一起针对环境的所有可能行为实现一个目标。最近的许多工作都集中于具有因果记忆的系统，即在同步时交换其因果历史的异步过程集。这个问题的可判定性结果已经在控制游戏（通过将动作划分为可控和不可控来扩展Zielonka的异步自动机）或Petri游戏（通过把令牌划分为系统和环境参与者来扩展Petri网）中陈述。然而，到目前为止，这两种模型之间的精确联系仍是一个悬而未决的问题。在本文中，我们提供了控制对策和Petri对策之间的第一种形式联系。我们基于两种策略之间的弱互模拟建立了这两种游戏类型的等价性。对于两个方向，我们证明了一种类型的游戏可以转换为另一种类型等效的游戏。我们提供了平移的指数上限和下限。我们的翻译允许在两种类型的游戏之间转移和组合可判定性结果。例如，我们将非循环通信体系结构中最初为控制游戏获得的可判定性转换为Petri游戏，并将单进程系统中最初为Petri博弈获得的可决策性转换为控制游戏。

受试者分类

ACM科目分类
  • 计算理论→ 算法博弈论
关键词
  • 合成
  • 分布式系统
  • 因果记忆
  • Petri游戏
  • 控制游戏

韵律学

相关版本

工具书类

  1. 西里尔·奥坦和菲利普·施诺贝伦。在Petri网中放置相互模拟。《Petri网应用与理论学报》，第45-611992页。网址：https://doi.org/10.1007/3-540-55676-1_3.
  2. 艾克·贝斯特（Eike Best）、雷蒙德·德维尔（Raymond R.Devillers）、阿斯特里德·基恩（Astrid Kiehn）和露西娅·波梅勒（Lucia Pomello）。Petri网中的并发互模拟。《学报》，28（3）：231-2641991年。网址：https://doi.org/10.1007/BF01178506.
  3. Raven Beutner、Bernd Finkbeiner和Jesko Hecking-Harbusch。为分布式合成翻译异步游戏（完整版）。arXiv预印本，2019年。网址：http://arxiv.org/abs/1907.00829.
  4. J.Richard Buchi和Lawrence H.Landweber。用有限状态策略求解序列条件。《美国数学学会学报》，138:295-3111969年。谷歌学者
  5. 乔斯特·恩格弗里特（Joost Engelfriet）。Petri网的分支过程。《学报》，28（6）：575-5911991年。网址：https://doi.org/10.1007/BF01463946.
  6. 哈维尔·埃斯帕尔扎（Javier Esparza）和凯霍·赫尔扬科（Keijo Heljanko）。展开-模型检查的部分顺序方法。施普林格，2008年。网址：https://doi.org/10.1007/978-3-540-77426-6.
  7. Bernd Finkbeiner。Petri对策的有界综合。2015年，在Ernst-Rüdiger Olderog 60岁生日纪念研讨会上，正确系统设计会议记录，第223-237页。网址：https://doi.org/10.1007/978-3-319-23506-6_15.
  8. Bernd Finkbeiner、Manuel Gieseking、Jesko Hecking-Harbusch和Ernst-Rüdiger Olderog。Petri游戏的符号合成与有界合成。在的诉讼中同步@CAV，第23-43页，2017年。网址：https://doi.org/10.4204/EPTCS.260.5.
  9. Bernd Finkbeiner、Manuel Gieseking和Ernst-Rüdiger Olderog。Adam：基于因果关系的分布式系统综合。《CAV会议录》，第433-439页，2015年。网址：https://doi.org/10.1007/978-3-319-21690-4_25.
  10. Bernd Finkbeiner和Paul Gölz。分布式环境中的合成。《FSTTCS会议记录》，第28:1-28:14页，2017年。网址：https://doi.org/10.4230/LIPIcs.FSTTCS.2017.28.
  11. Bernd Finkbeiner和Ernst-Rüdiger Olderog。Petri游戏：具有因果记忆的分布式系统的合成。信息计算。，2017年第253:181-203页。网址：https://doi.org/10.1016/j.ic.2016.07.006.
  12. 保罗·加斯丁（Paul Gastin）、本杰明·勒曼（Benjamin Lerman）和马克·泽顿（Marc Zeitoun）。具有因果记忆的分布式游戏对于串并联系统是可决定的。《FSTTCS会议录》，第275-286页，2004年。网址：https://doi.org/10.1007/978-3-540-30538-5_23.
  13. 布莱斯·基内斯特（Blaise Genest）、雨果·金伯特（Hugo Gimbert）、安卡·穆斯科尔（Anca Muscholl）和伊戈尔·瓦卢基维奇（Igor Walukiewicz）。树结构上的异步游戏。ICALP会议记录，第275-286页，2013年。网址：https://doi.org/10.1007/978-3642-39212-2_26.
  14. 雨果·金伯特（Hugo Gimbert）。异步自动机的控制。《FSTTCS会议录》，第30:1-30:15页，2017年。网址：https://doi.org/10.4230/LIPIcs.FSTTCS.2017.30.
  15. 杰斯科·赫金·哈布什（Jesko Hecking-Harbusch）和尼古拉斯·梅茨格（Niklas O.Metzger）。异步分布式系统有界综合的有效跟踪编码。2019年ATVA会议记录。谷歌学者
  16. P.Madhusudan和P.S.Thiagarajan。一类可判定的异步分布式控制器。《CONCUR会议记录》，第145-160页，2002年。网址：https://doi.org/10.1007/3-5440-45694-5_11.
  17. P.Madhusudan、P.S.Thiagarajan和Shaofa Yang。连接沟通过程的MSO理论。《FSTTCS会议录》，第201-212页，2005年。网址：https://doi.org/10.1007/11590156_16.
  18. 何塞·梅塞盖尔（JoséMeseguer）、乌戈·蒙塔纳里（Ugo Montanari）和弗拉迪米罗·萨松（Vladimiro Sassone）。地点/转移Petri网的过程与展开语义。西奥。计算。科学。，153(1&2):171-210, 1996. 网址：https://doi.org/10.1016/0304-3975(95)00121-2.
  19. 安卡·穆斯科尔。分布式控制器的自动合成。ICALP会议记录，第11-27页，2015年。网址：https://doi.org/10.1007/978-3-662-47666-6_2.
  20. 安卡·穆斯科尔（Anca Muscholl）和伊戈尔·瓦卢基维奇（Igor Walukiewicz）。非循环体系结构的分布式综合。在FSTTCS会议记录中，第639-651页，2014年。网址：https://doi.org/10.4230/LIPIcs.FSTTCS.2014.639.
  21. 安卡·穆斯科尔（Anca Muscholl）、伊戈尔·瓦卢基维奇（Igor Walukiewicz）和马克·泽通（Marc Zeitoun）。看看异步自动机的控制。《并发理论的观点》，第356-371页，2009年。谷歌学者
  22. Mogens Nielsen、Gordon D.Plotkin和Glynn Winskel。Petri网，事件结构和域，第一部分理论。计算。科学。，13:85-108, 1981. 网址：https://doi.org/10.1016/0304-3975(81)90112-2.
  23. Ernst-Rüdiger Olderog。网络、术语和公式：并发进程及其关系的三种观点，第23卷。剑桥大学出版社，2005年。谷歌学者
  24. 阿米尔·普努埃利和罗尼·罗斯纳。分布式反应系统很难合成。1990年第31届计算机科学基础年会，第二卷，第746-757页。网址：https://doi.org/10.109/FSCS.1990.89597.
  25. 沃尔夫冈·雷西格（Wolfgang Reisig）。Petri网：简介。施普林格，1985年。网址：https://doi.org/10.1007/978-3-642-69968-9.
  26. 维斯拉夫·齐埃隆卡。关于有限异步自动机的注记。ITA，21（2）：99-1351987年。网址：https://doi.org/10.1051/ita/1987210200991.
问题/备注/反馈
X

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人