×
伯恩德·芬克贝纳；奥尔德罗格（Ernst-Rüdiger Olderog）

Petri游戏：具有因果记忆的分布式系统的合成。 （英语） Zbl 1362.68211号

Inf.计算。 253，第2部分，181-203（2017）.
摘要：我们提出了一个新的多人游戏模型，用于分布式系统中的交互和信息流。球员是Petri网上的标记。只要球员们在网络的独立部分移动，他们就不知道彼此；当他们在联合转换中同步时，每个玩家都会被告知另一个玩家的因果历史。我们证明了对于具有单个环境参与者和任意有界系统参与者数的Petri对策，系统参与者安全策略的存在性是EXPTIME-完全的。

引用于11文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
91A43型 涉及图形的游戏

关键词：

Petri网；因果关系；展开；切割；策略；图形游戏；合成

软件：

MCGP公司
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}和\textit{E.-R.Olderog}，Inf.Comput。253，第2部分，181--203（2017年；兹bl 1362.68211）
全文： 内政部 arXiv公司

参考文献：

[1] Finkbeiner，B。；Olderog，E.-R.，《Petri游戏：具有因果记忆的分布式系统的综合》，（Peron，A.；Piazza，C.，Proc.Fifth Intern.Symp.on games，Automata，Logics and Formal Verification（GandALF））。程序。第五实习医生。交响乐团。《游戏、自动化、逻辑和形式验证》（GandALF），EPTCS，第161卷（2014年），第217-230页·Zbl 1464.68241号
[2] Zielonka，W.，《异步自动机》（Rozenberg，G.；Diekert，V.，《轨迹书》（1995），《世界科学》），205-248
[3] 加斯丁，P。；勒曼，B。；Zeitoun，M.，《具有因果记忆的分布式游戏对于串行并行系统是可判定的》（Proc.FSTTCS（2004）），275-286·Zbl 1117.68448号
[4] Madhusudan，P。；Thiagarajan，P.S。；Yang，S.，《连接通信过程的MSO理论》（Proc.FSTTCS’05）。程序。FSTTCS’05，LNCS，第3821卷（2005），施普林格），201-212·Zbl 1172.68556号
[5] 基因，B。；Gimbert，H。；马斯切尔，A。；Walukiewicz，I.，《基于树架构的异步游戏》（Proc.ICALP’13，Part II，Proc.ICARP’13第II部分，LNCS，vol.7966（2013），Springer），275-286·兹比尔1334.68150
[6] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri网，事件结构和域，第一部分，Theor。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[7] Engelfriet，J.，Petri网的分支过程，信息学报。，28, 6, 575-591 (1991) ·Zbl 0743.68106号
[8] 埃斯帕尔扎，J。；Heljanko，K.，《展开——模型检验的部分顺序方法》（2008），Springer·Zbl 1153.68035号
[9] Stockmeyer，L.J。；Chandra，A.K.，Provabley difficial combination games，SIAM J.Compute.，《难以预测的组合游戏》。，8, 2, 151-174 (1979) ·Zbl 0421.68044号
[10] Reisig，W.，Petri Nets-简介（1985），施普林格·Zbl 0555.68033号
[11] Reisig，W.，《分布式算法的要素——用Petri网建模和分析》（1998），Springer·Zbl 0907.68130号
[12] 贝斯特，E。；Fernández，C.，非序贯过程（1988），Springer·Zbl 0656.68005号
[13] Esparza，J.，使用网络展开的模型检查，科学。计算。程序。，23, 151-195 (1994) ·Zbl 0834.68087号
[14] 梅塞盖尔，J。；蒙塔纳里，美国。；Sassone，V.，《位置/转换Petri网的过程与展开语义》，Theor。计算。科学。，153, 171-210 (1996) ·Zbl 0872.68130号
[15] Khomenko，V。；库特尼，M。；Vogler，W.，Petri网展开的规范前缀，信息学报。，40, 95-118 (2003) ·Zbl 1072.68072号
[16] 霍尔，C.A.R.，通信顺序过程（1985），普伦蒂斯·霍尔·Zbl 0637.68007号
[17] Olderog，E.-R.，《网络、术语和公式：并发过程的三种观点及其关系》（1991），剑桥大学出版社·Zbl 0741.68002号
[18] 查特吉，K。；Henzinger，M.，交替Büchi游戏的An（O（n^2）时间算法，（第二十三届ACM-SIAM离散算法研讨会论文集，SODA’12（2012），SIAM），1386-1399·Zbl 1421.68110号
[19] Katz，G。；Peled博士。；Schewe，S.，《通过知识积累实现分布式控制的合成》（Proc.CAV.Proc.CAV，LNCS，vol.6806（2011），Springer），510-525
[20] Mayr，E.W.，一般Petri网可达性问题的算法，（Proc.13th ACM STOC（1981），ACM），238-246
[21] 阿卜杜拉，P.A。；Bouajjani，A。；d'Orso，J.，《决定单调游戏》（Proc.CSL.Proc.CSL，LNCS，vol.2803（2003），Springer），第1-14页·Zbl 1116.68491号
[22] Giua，A.，Petri网作为监督控制的离散事件模型（1992），伦斯勒理工学院，博士论文
[23] 周，Q。；王，M。；Dutta，S.P.，《柔性制造单元最优控制策略的生成：Petri网方法》，《国际先进制造技术》。，10, 59-65 (1995)
[24] Raskin，J.-F。；Samuelides，M。；Begin，L.V.，Petri游戏单调但难以决定（2003），布鲁塞尔自由大学，技术报告
[25] 购买，美国。；达拉比，H。；Lehene，M。；Venepally，V.，《使用网络展开对时间Petri网进行监督控制》，（国际计算机软件和应用年度会议，第2卷（2005年）），97-100
[26] 普努利，A。；Rosner，R.，分布式反应系统很难合成，（Proc.FOCS（1990），IEEE计算机学会出版社），746-757
[27] Walukiewicz，I。；Mohalik，S.，《分布式游戏》（Proc.FSTTCS’03）。程序。FSTTCS’03，LNCS，第2914卷（2003）），338-351·Zbl 1205.68089号
[28] Rosner，R.，反应系统的模块化合成（1992），魏茨曼科学研究所：以色列雷霍沃魏茨曼研究所，博士论文
[29] 库普夫曼，O。；Vardi，M.Y.，《分布式系统的综合》（Proc.LICS（2001），IEEE计算机社会出版社），389-398
[30] Finkbeiner，B。；Schewe，S.，《均匀分布综合》（Proc.LICS（2005），IEEE Computer Society Press），321-330
[31] 阿鲁尔（Alur，R.）。；亨辛格，T.A。；Kupferman，O.，《交替时间时序逻辑》，J.ACM，49，5，672-713（2002）·Zbl 1326.68181号
[32] Zielonka，W.，《有限异步自动机注释》，RAIRO Theor。通知。申请。，21, 2, 99-135 (1987) ·Zbl 0623.68055号
[33] 马斯切尔，A。；Walukiewicz，I.，《非循环体系结构的分布式合成》，（Raman，V.；Suresh，S.P.，Proc.FSTTCS.Proc.FSTTCS，Leibniz International Proceedings in Informatics，vol.29（2014），Schloss Dagstuhl-Leibniz-Zentrum für Informatik），639-651·Zbl 1360.68594号
[34] 马斯切尔，A。；Walukiewicz，I。；Zeitoun，M.，《异步自动机控制研究》（《并发理论的观点》（2009），CRC出版社）·兹比尔1194.68145
[35] van der Aalst，W.M.P.，《Petri网在工作流管理中的应用》，J.Circuits Syst。计算。，8, 21-66 (1998)
[36] Finkbeiner，B。；Gieseking，M。；Olderog，E.-R.，Adam：分布式系统基于因果关系的合成，（Kroening，D.；Pasareanu，C.S.，计算机辅助验证（CAV），第一部分计算机辅助验证，第一部分，LNCS，第9206卷（2015），Springer），433-439
[37] Finkbeiner，B.，《Petri博弈的有界综合》（Meyer，R.；Platzer，A.；Wehrheim，H.，《正确的系统设计》，《正确系统设计》（Correct System Design），LNCS，第9360卷（2015），Springer），223-237·Zbl 1443.68110号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。