{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article12667”，“name”：“为分布式合成翻译异步游戏”，“abstract”:“在分布式合成中，生成了一组过程实现，这些实现一起针对环境的所有可能行为实现了一个目标。最近的许多工作都集中在具有因果记忆的系统上，即在同步时交换其因果历史的异步过程集r这个问题已经在控制游戏（通过将动作划分为可控和不可控来扩展Zielonka\u2019的异步自动机）或Petri游戏（通过把令牌划分为系统和环境参与者来扩展Petri网）方面得到了阐述。然而，到目前为止，这两种模型之间的精确联系仍是一个悬而未决的问题。\\r\n在本文中，我们提供了控制对策和Petri对策之间的第一个形式连接。我们基于两种策略之间的弱互模拟建立了这两种游戏类型的等价性。对于两个方向，我们证明了一种类型的游戏可以转换为另一种类型等效的游戏。我们为平移提供了指数上下界。我们的翻译允许在两种类型的游戏之间传递和合并可判定结果。例如，我们将非循环通信体系结构中最初为控制游戏获得的可判定性转换为Petri游戏，并将单进程系统中最初为Petri博弈获得的可决策性转换为控制游戏。“，”关键词“：[”合成“，”分布式系统“，”因果记忆“，”Petri游戏“，”控制游戏“]，”作者“：[{”@type“：”个人“，”名称“：”贝特纳，拉文“，”givenName“：”乌文“，姓名“：”Finkbeiner“，”affiliation“：”Saarland University，Saarbr\u00fccken，Germany“}，{”@type“：”Person“，”name“：”Hecking-Harbusch，Jesko“，”givenName“：”Jesko”，“familyName”：“Hecking-Harbusch”，“affiliance”：“德国萨尔布大学”}]，“position”：26，“pageStart”：“26:1”，“pageEnd”：“16:16”，“创建日期”：“2019-08-20”，“发布日期”：“2019-08-20”，“isAccessibleForFree“：true，”license“：”https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode“，”copyrightHolder“：[{“@type”：“Person”，“name”：“Beutner，Raven”，“givenName”：“Raven“，”familyName“：”Beutner“，”afliation“：”Saarland University，Saarbr\u00fccken，Germany“}，{”@type“：”Person“，”name“：”Finkbeiner，Bernd“，”givenName“：“Bernd”，“familyName”：“Finkbeiner“，”affiliation“：”Saarland University，Saarbr\u00fccken，Germany“}，{”@type“：”Person“，”name“：”Hecking-Harbusch，Jesko“，”givenName“：”Jesko”，“familyName”：“Hecking-Harbusch”，“affiliance”：“德国萨尔州大学，Saarbr\u00fcken”}]，“copyrightYear”：“2019”，“accessMode”：“textual”，“AccessModeFufficient”：“Textional”，“creativeWorkStatus”：“”发布“，”inLanguage“：”en-US“，”sameAs“：”https:\/\/doi.org\/10.4230\/LIPIcs。CONCUR.2019.26“，“资助”：“由德国研究基金会（DFG）Grant Petri Games（392735815）和协作研究中心\u201cFoundations of Persicupious Software Systems（TRR 2483892660）以及欧洲研究理事会（ERC）Grant OSARES（683300）支持。“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”https:\//doi.org\/10.1007\/3-540-55676-1_3“，”https:\\/doi.org\/10.10007\/BF01178506“，”http://\/arxiv.org\/abs\/1907.00829“，”https:\\/dio.org\/10.007\/BF01463946“，”http://www.doi.org \/978-3-540-77426-6“，”https:\/\/doi.org/10.1007\/978-3-319-23506-6_15“，”https:\/\/doi.org/10.4204\/EPTCS.260.5“，”https:\/\/doi.org/10.1007\/978-3-319-21690-4_25“，”https:\/\/doi.org/10.4230\/LIPSics“。FSTTCS.2017.28“，”https:\\/doi.org\/10.1016\/j.ic.2016.07.006“，”https:\\/doi.org\/10.1007\/978-3-540-30538-5_23“，”“https:\\/doi.org\/10.1007\/9783-642-39212-2_26”，“https:\//doi.org\/10.4230\/LIPIcs。FSTTCS.2017.30”，“https://doi.org/10.1007\/3-5440-45694-5_11”，“https://doi.org/10.1007\/11590156_16”，“https://doi.org/10.1016\/00304-3975（95）00121-2”，“https://doi.org/10.1007\/978-3-662-47666-6_2”，“https://doi.org/10.4230\/LIPIcs”。FSTTCS.2014.639“，”https:\\/doi.org\/101016\/0304-3975（81）90112-2“，”https:\\/dio.org\/101109\/FSCS.1990.89597“，”http://\\/doi.gorg\/101007\/978-3642-69968-9“，“https:\\/doi.org\/10.1051\/ita\/1987210200991”]，“isPartOf”：{“@type”：“PublicationVolume”，“@id”：“#volume6343“，”volumeNumber“：140，”name“：”第三十届国际并发理论会议（CONCUR 2019）“，”创建日期“：”2019-08-20“，”发布日期“：w.j.fokkink@vu.nl“，”affiliation“：”荷兰阿姆斯特丹Vrije大学“}，{”@type“：”Person“，”name“：”van Glabbeek，Rob“，”givenName“：”Rob“、”familyName“：“van Glapbeek”，”email“：”mailto:“rvg@cs.stanford.edu“，”affiliation“：”Data61，CSIRO，Sydney，Australia“}]，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”hasPart“：“#article12667”，”isPartOf“，”isPeriodical“：{“@type”：“Periodinal”，“@id”：“#series116”，“name”：“Leibniz International Proceedings in Informatics”，“issn”：“1868-8969”，“isAccessableForFree”：true、“publisher”Schloss Dagstuhl\u2013莱布尼茨-泽特鲁姆f\u00fcr Informatik“，”hasPart“：”#volume6343“}}