{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,13]]，“日期时间”：“2024-03-13T17:04:13Z”，“时间戳”：1710349453426}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783662496299”，“类型”：“打印”}，{“值”：“9783662496305”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]mark-restriction“：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2016]]}，“DOI”：“10.1007\/978-3662-49630-5_26”，“type”：“book-capter”，“created”：{“date-parts”：[2016,3,21]]，“date-time”：“2016-03-21T09:04:32Z”，“timestamp”：1458551072000}，”page“：”445-461“，”“update-policy”：”http://dx.DOI.org\/10007\/springer_crossmark _策略“，”源“：”Crossref“，”is-referenced-by-count“：9，”title“：[“无序数据Petri网的可覆盖树”]，“prefix”：“10.1007”，“author”：[{“given”：“Piotr”，“family”：“Hofman”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“S\u0142awomir”，“家族”：“Lasota”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Ranko”，]}，{“给定”：“J\u00e9r\u00f4me”，“family”：“Leroux”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Sylvain”，“家族”：“Schmitz”，“序列”：“附加”，“从属”：[]}“：”26_CR1“，”doi-asserted-by“：”publisher“，“首页”：“109”，“DOI”：“10.1006\/inco.1999.2843”，“volume”：“160”，“author”：“PA Abdulla”、“year”：“2000”，“unstructured”：“阿卜杜拉，P.A.，\u010cer\u0101ns，K.，Jonsson，B.，Tsay，Y.K.：具有良好拟序域的程序的算法分析。Inform.and Compute.160（1\u20132），109\u2013127（2000）”，“journal-title”：“Inform.and compute.”}，{“key”：“26_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“108”，“doi”：“10.1007\/978-3642-22993-0_13”，“volume-title”：《2011年计算机科学数学基础》，“author”：“M Blockelet”，“year”：“2011”，“unstructured”：“Blockelet，M.，Schmitz，S.：向量加法系统的模型检查覆盖图。摘自：Murlak，F.，Sankowski，P.（eds.）MFCS 2011。LNCS，第6907卷，第108页\u2013119。Springer，Heidelberg（2011）“}，{“问题”：“3:4”，“关键”：“26_CR3”，“首页”：“1”，“卷”：“10”，“作者”：“M Boja\u0144czyk”，“年份”：“2014”，“非结构化”：“Boja\u 0144czzyk，M.，Klin，B.，Lasota，S.：标称集中的自动机理论。Logic.Meth.Comput.Sci.10（3:4），1\u201344（2014）”，“新闻标题”：“Logic.Meth”。计算科学“}，{”键“：”26_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”Cardoza，E.，Lipton，R.J.，Meyer，A.R.：Petri网和交换半群的指数空间完备问题：初步报告。收录于：STOC 1976，第50\u201354页。ACM（1976）”，“DOI”：“10.1145\/800113.803630”}，｛“issue”：“5”，“key”：“26_CR5”，“DOI断言者”：“publisher”，“首页”：“689”，“DOI”：“10.1016\/j.css。2013.01.01.014”，“volume”：“79”，“author”：“S Demri”，“year”：“2013”，“nonstructured”：“Demri，S.：关于VAS.j.Comput.Syst.Sci.79（5），689\u2013713的选择性无界性（2013）”，“期刊标题”：“j。计算。系统。科学。“}，{”key“：”26_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Figueira，D.，Figueila，S.，Schmitz，S.、Schnoebelen，P.：Ackermannian和基元递归边界与Dickson\u2019s引理。In:LICS 2011，pp.269\u2013278。IEEE Press（2011）“，”DOI“：”10.1109\/LICS.2011.39“}，{“issue”：”1\u20132“，”key“：”26_CR7“，”DOI-asserted-by“：”publisher“，”first page“：“63”，”DOI:“10.1016\/S0304-3975（00）00102-X”，“volume”：“256”，“author”：“A Finkel”，“year”：“2001”，“unstructured”：“Finkel，A.，Schnoebelen，P.：到处都是良好结构的过渡系统！理论计算科学256（1\u20132），63\u201392（2001）“，”新闻标题“：”Theor。计算。科学。}，{“key”：“26_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Finkel，A.，Goubault-Larrecq，J.：WSTS的正向分析，第一部分：完成。In:STACS 2009。LIPIcs，第3卷，第433\u2013444页。LZI（2009）“，”DOI“：”10.1007\/978-3642-02930-1_16“}，{“问题”：“3:28”，“关键”：“26_CR9”，“首页”：“1”，“卷”：“8”，“作者”：“芬克尔”，“年份”：“2012”，“非结构化”：“Finkel，A.，Goubault-Larrecq，J.：WSTS的正向分析，第二部分：完整的WSTS.Logic.Meth.Comput.Sci.8（3:28），1\u201335（2012）”，“日志al-title“：”逻辑.方法.计算.科学“}，{”issue“：”1\u20132“，”key“：”26_CR10“，”doi-asserted-by“：”publisher“，”first-page“：”1“，”doi“：”10.1016\/j.ic.2004.01.005“，”volume“：“195”，”author“：”A Finkel“，”year“：”2004“，”unstructured“：”Finkel，A.，McKenzie，P.，Picaronny，C.：分析Petri网扩展的结构良好的框架。通知。和计算。195（1\u20132），1\u2013（2004）“，“新闻标题”：“通知。和计算。}，{“key”：“26_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Haddad，S.，Schmitz，S.、Schnoebelen，P.：时弧Petri网、数据网和其他富集网的顺序递归复杂性。摘自：LICS 2012，pp.355\u2013364。IEEE Press（2012）“，”DOI“：”10.1109\/LICS.2012.46“}，{“issue”：“2”，“key”：“26_CR12”，”DOI-asserted-by“：”publisher“，”first page“：”147“，“DOI”：“10.1016\/S0022-0000（69）80011-5“，”volume“：“3”，“author”：“RM Karp”，“year”：“1969”，“unstructured”：“Karp，R.M.，Miller，R.E.：Parallel program schemata.J.Compute.Syst.Sci.3（2），147\u2013195（1969）“，“新闻标题”：“J。计算。系统。科学。}，{“key”：“26_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Kosaraju，S.R.：向量加法系统可达性的判定。摘自：Proceedings STOC 1982，pp.267\u2013281。ACM（1982）“，”DOI“：”10.1145\/800070.802201“}，{”issue“：”1“，”key“：”26_CR14“，”DOI-asserted-by“：”publisher“，”first page“：“79”，”DOI:“10.1016\/0304-3975（92）90173-D”，“volume”：“99”，“author”：“JL Lambert”，“year”：“1992”，“unstructured”：“Lambert，J.L.：决定Petri网可达性的结构。Theor.Comput.Sci。99（1），79\u2013104（1992）“，”新闻标题“：”Theor。计算。科学。“}，{”问题“：”3“，”密钥“：”26_CR15“，”首页“：”251“，”卷“：”88“，”作者“：”R Lazi\u0107“，”年份“：”2008“，”非结构化“：”Lazi\u 0107，R.，Newcomb，T.，Ouaknine，J.，Roscoe，A.，Worrell，J.：带有携带数据的令牌的网络。Fund.Inform。88（3），251\u2013274（2008）“，”日志标题“：”Fund.Inform。“}”，{“key”：“26_CR16”，“doi-asserted-by”：“crossref”，“非结构化“：”Leroux，J.，Schmitz，S.：矢量加法系统中可达性的解密。收录于：LICS 2015，第56\u201367页。IEEE Press（2015）“，”DOI“：”10.1109\/LICS.2015.16“}，{“key”：“26_CR17”，“unstructured”：“Lipton，R.：可达性问题需要指数空间。耶鲁大学技术报告62（1976）”}，“{”key“：”26_CR18“，”DOI-asserted-by“：”crossref“，”unstructure“：”Mayr，E.W.：一般Petri网可达性问题的算法。收录于：STOC 1981年会议记录，第238\u2013246页。ACM（1981）“，”DOI“：”10.1145\/800076.802477“}，{”issue“：”2“，”key“：”26_CR19“，”DOI-asserted-by“：”publisher“，”first page“：“223”，“DOI”：“10.1016\/0304-3975（78）90036-1”，“volume”：“6”，“author”：“C Rackoff”，“year”：“1978”，“unstructured”：“Rackoffs，C.：向量加法系统的覆盖和有界问题。Theor.Comput.科学6（2），223\u2013231（1978）”，“期刊标题”：“Theor。计算。科学。“}，{”key“：”26_CR20“，”unstructured“：”Rosa-Velardo，F.：无序数据网的顺序递归复杂性。技术报告TR-4-14，Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n，马德里Complutense大学（2014）。http://\/antares.sip.ucm.es\/frosa\/docs\/complexityUDN.pdf“}”，{“问题”：“34”，“key”：“26_CR21”，“doi-asserted-by”：“”publisher“，”first-page“：”4439“，”DOI“：”10.1016\/j.tcs.2011.05.007“，”volume“：”412“，”author“：”F Rosa-Velardo“，”year“：”2011“，”unstructured“：”Rosa-Verardo，F.，de Frutos-Escrig，D.：无序数据Petri网的可判定性和复杂性。西奥。计算。科学。412（34），4439\u20134451（2011）“，“新闻标题”：“Theor。计算。科学。“}，{”issue“：“3\u20134”，”key“：“26_CR22”，”doi-asserted-by“：”crossref“，”first page“：”313“，”doi“：”10.3233\/FI-2011-611“，”volume“：‘113’，”author“：”F Rosa-Velardo“，”year“：”2011“，”unstructured“：”Rosa-Vellardo，F.，Martos-Algado，M.，de Frutos-Escrig，D.：加快具有名称的Petri网的覆盖集。Fund.Inform.113（2013年3月4日），313\u2013341（2011）“，“新闻标题”：“基金。通知。“}，{”key“：”26_CR23“，”unstructured“：”Schmitz，S.：《基础之外的复杂性层次结构》。ACM Trans.Compute.Theor.（2016）（待发表）。http://\/arxiv.org\/abs\/1312.5686“}”，{“key”：“26_CR24”，“unstructure”：“Schmitz S.，Schnoebelen，P.：WQO理论的算法方面。讲义（2012）。http://cel.archives-ouvertes.fr\/cel-00727025”}，{“key“：”26_CR25“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”5“，”doi“：”10.1007\/978-3642-40184-8_2“，”volume-title“：“CONCUR 2013\u2013并发理论”，”author“：”S Schmitz“，”year“：”2013“，”unstructured“：”Schmitz，S.，Schnoebelen，P.：良好结构系统的力量。收录于：D\u2019Argenio，P.R.，Melgratti，H.（编辑）CONCUR 2013\u2013 Concurrency Theory。LNCS，第8052卷，第5\u201324页。Springer，Heidelberg（2013）“}，{”key“：”26_CR26“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“616”，”doi“：”10.1007\/978-3642-15155-2_54“，”volume-title“：“2010年计算机科学数学基础”，”author“：”P Schnoebelen“，”year“：”2010“，”unstructured“：”Schnoebelen，P.：重新审视有损计数器的Ackermann-hanrdness和重置Petri网。收录：Hlin\u011bn\u00fd，P.，Ku\u010dera，A.（编辑）MFCS 2010。LNCS，第6281卷，第616\u2013628页。Springer，Heidelberg（2010）“}]，“container-title”：[“计算机科学课堂讲稿”，“软件科学和计算结构基础”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10007\/978-3662-49630-5_26”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2022,6,15]]，“日期时间”：“2022-06-15T19:21:17Z”，“时间戳”：1655320877000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/978-3662-49630-5_26”}，”副标题“：[]，”短标题“：[]，“发布”：{'日期部分“：[2016年]]}，“ISBN”：[“9783662496299”，“978366 2496305”]，“references count“：26，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-662-49630-5_26“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：｛”date parts“：[[2016]]｝，”assertion“：[｛”value“：”此内容已向所有人开放。“，”name“：”free“，”label“：”自由阅读“}]}}