{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,3]]，“日期时间”：“2024-06-03T17:18:08Z”，“时间戳”：1717435088761}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783642329395”，“type”：“print”}，{“value”：“9783642329401”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-32940-1_5“，”type“：”book-capter“，”created“：”{“date-part”：[2012,9,1]]，“date-time”：“2012-09-01T20:40 7:02Z“，”时间戳“：1346532422000}，”页面“：”39-52“，”源“：“Crossref”，“is-referenced-by-count”：5，“title”：[“带抑制的VASS并发游戏”]，“prefix”：“10.1007”，”author“：[{“given”：“B\u00e9atrice”，“family”：“B\u00e 9rard”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Serge”，“家族”：“Haddad”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Mathieu”，“：”Sassolas“，”sequence“：”additional“，“affiliation”：[]}，{“given”：“Nathalie”，“family”：“Sznajder”，“sequence”：“additional”，“affaliation”:[]}]，“member”：“297”，“reference”：[{“issue”：“1”，“key”：”5_CR1“，“doi-asserted-by”：”publisher“，”first page“153”，”doi“10.1093”\/logcom\/exm062“，”volume“18”，“author”：“P.A.Abdulla”，年：“2008”，“非结构化”：“Abdulla，P.A.，Bouajjani，A.，d\u2019Orso，J.：单调和向下封闭游戏。J.Log.Comput.\u00a018（1），153\u2013169（2008）”，“日志标题”：“J.Log.Compute.”}，{“key”：“5_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“B\u00e9rard，B.，Haddad，S.，Sassolas，M.，Sznajder，N.：具有抑制的VASS并发游戏。技术报告LSV-12-10，LSV，ENS Cachan（2012）”，“DOI”：“10.1007\/978-3642-32940-1_5”}，{“key”：“5_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bollue，K.，Slaats，M.，Abraham，E.，Thomas，W.，Abel，D.：DES行为控制器的合成：提高效率。In:WODES 2010，IFAC（2010）”，“DOI”：“10.3182\/2010830-3-DE-4013.00007”}，{“key”：“5_CR4”，“DOI-asserted-by”：“publisher”，“first page”：”15“，“DOI:”10.1016\/S1571-0661（05）80423-2“，”volume“：”9“author”：“Z.Bouziane“，”年份“：“1997”，“非结构化”：“Bouziane，Z.，Finkel，A.：循环petri网可达集是半线性的有效构造集。Electr.Notes Theor.Comput.Sci.\u00a09，15\u201324（1997）”，“日志标题”：“Electr.Nates Theor/Comput.Sci.”}，{“key”：“5_CR5”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：“478”，“DOI”：“10.1007\/978-3-642-14162-1_40”，“volume-title”：“自动机、语言和编程”，“作者”：“T.Br\u00e1zdil”，“年份”：“2010”，“非结构化”：“Br\u00e1zdil，T.，Jan\u010dar，P.，Ku\u010dera，A.：与国家扩展向量加法系统的可达性游戏。收录于：Abramsky，S.，Gavoille，C.，Kirchner，C.，Meyer auf der Heide，F.，Spirakis，P.G.（编辑）ICALP 2010，第二部分。LNCS，vol.u00a06199，pp.478\u2013489。Springer，Heidelberg（2010）“}，{”issue“：”1“，”key“：”5_CR6“，”doi-asserted-by“：”publisher“，”first page“：“114”，“doi”：“10.1145\/322234.32243”，“volume”：“28”，“author”：“A.K.Chandra”，“year”：“1981”，“unstructured”：“Chandra，A.K.，Kozen，D.，Stockmeyer，L.J.：Alternation J.ACM\u00a028（1），114\u2013133（1981）”，“journal al-title“：”Alternation J.ACM“}，{”key“：”5_CR7“，“非结构化”：“Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J.F.：广义平均值与能量博弈。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2010。LIPIcs，Schloss Dagstuhl-Leibniz Zentrum f \u00fcr Informatik，vol.\u00a08，pp.505\u2013516（2010）“}，{“key”：“5_CR8”，“unstructured”：“Demri，S.，Jurdzi\u0144ski，M.，Lachish，O.，Lazi\u0107，R.：分支向量加法系统的覆盖和有界问题。In：程序。第29届软件技术与理论计算机科学基础会议（FSTTCS 2009）。莱布尼茨国际信息学论文集，莱布尼兹-Zentrum f\u00fcr Informatik，vol.\u00a04，pp.181\u2013192（2009年12月）“}，{“issue”：“1”，“key”：“5_CR9”，“doi-asserted-by”：“crossref”，“first page”：”13“，“doi”：“10.3233\/FI-1997-3112”，“volume”：Esparza，J.：Petri网、交换上下文无关文法和基本并行过程。芬丹。通知。\u00a031（1），13\u201325（1997）“，“新闻标题”：“Fundam。通知。“}，{”key“：”5_CR10“，”doi-asserted-by“：”publisher“，”first page“：“135”，“doi”：“10.1016\/0304-3975（79）90041-0”，“volume”：“8”，“author”：“J.E.Hopcroft”，“year”：“1979”，“unstructured”：“Hopcroff，J.E.，Pansiot，J.J.J.J.J：关于5维向量加法系统的可达性问题。Theor.Comput.Sci.\u00a08，135\u2013159（1979）”，“journal al标题“：”西奥。计算。科学。“｝，｛”issue“：”1“，”key“：”5_CR11“，”doi asserted by“：”publisher“，”first page“：”87“，”doi“：”10.1109\/TASE.2004.829432“，”volume“：”2“，”author“：”R.Kumar“，”year“：”2005“，”nonstructured“：”Kumar，R.，Garg，V.：论赋值程序框架中无限状态系统的状态回避控制计算。IEEE Trans.Atom.Sci.Eng.\u00a02（1），87\u201391（2005）”，“期刊标题”：“IEEE Trans。自动。科学。Eng.“}，{”key“：”5_CR12“，”unstructured“：”Le Gall，T.，Jeannet，B.，Marchand，H.：使用抽象解释对无限符号系统进行监督控制。摘自：CDC 2005，pp.31\u201335。IEEE Press（2005）“}，{“key”：“5_CR13”，“unstructured”：“Lipton，R.：可达性问题需要指数空间。技术报告\u00a062，耶鲁大学计算机科学系（1976）”}，}，“key“：”5_CR14“，”unstructure“：”Papadimitriou，C.H.，Steiglitz，K.：组合优化：算法和复杂性。Prentice-Hall（1982）5_CR15“，”doi-asserted-by“：”publisher“，”first-page“：”223“，”doi“：”10.1016\/0304-3975（78）90036-1“，”volume“：”6“，”author“：”C.Rackoff“，“year”：”1978“，”unstructured“：”Rackoff，C.：向量加法系统的覆盖和有界问题。西奥。计算。科学。\u00a06，223\u2013231（1978）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”5_CR16“，”unstructured“：”Raskin，J.F.，Samuelides，M.，Van Begin，L.：Petri游戏是单调的，但很难决定。技术报告508，University\u00e9 Libre de Bruxelles（2003）“}“：”J.F.Raskin“，”年份”：“2005年”，“非结构化”：“Raskin，J.F.，Samuelides，M.，Van Begin，L.：计算抽象的游戏。选举人。注释Theor。计算。科学。\u00a0128（6），69\u201385（2005）“，“新闻标题”：“选举。注释Theor。计算。科学。“}，{”key“：”5_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first-page“：”337“，”doi“：”10.1007\/11690634_23“，”volume-title“：“软件科学与计算结构基础”，”author“：”O.Serre“，”year“：”2006“，”unstructured“：”Serre，O.：在单计数器过程的转移图上进行的奇偶博弈。In:Aceto，L.，Ing\u00f3lfsd\u00f 3ttir，A.（编辑）FOSSACS 2006。LNCS，卷\u00a03921，第337\u2013351页。Springer，Heidelberg（2006）“}，{”issue“：”5-6“，”key“：”5_CR19“，”doi-asserted-by“：”publisher“，”first page“：“266”，“doi”：“10.1016\/j.matcom.2005.11.002”，“volume”：“70”，“author”：“R.S.Sreenivas”，“year”：“2006”，“unstructured”：“Sreenivas，R.S.：关于在部分受控自由选择petri网中实施活性的监管政策的一些观察结果。数学。公司。模拟。\u00a070（5-6），266\u2013274（2006）“，”期刊标题“：”数学“。公司。模拟。“}”，“container-title”：[“计算机科学课堂讲稿”，“CONCUR 2012\u2013并发理论”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-32940-1_5.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2021,5,5【4】]，“date-time”：“2021-05-04T11:49:41Z”，“timestamp”：1620128981000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com/10.1007\/978-3642-32940-1_5”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2012年]}”，“ISBN”：[“9783642329395”，“978364 2329401”]，”reference s-count“：19，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-32940-1_5“，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”、“type”:“print”}，{“value”：“1611-349”，“type“：”electronic“}]，“subject”：【】，“published”：{“date-parts”：【2012】}}}