{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,28]]，“日期时间”：“2024-04-28T10:12:51Z”，“时间戳”：1714299171214}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540712084”，“类型”：“打印”}，{“值”：“9783540712091”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-71209-1_55“，”type“：”book-chapter“，”created“：{”date-parts“：[2007,7,4]，”date-time“：”2007-07-04T22:56:34Z“，”timestamp“：1183589794000}，”page“707”6-720“，”源“：”Crossref“，“is-referenced-by-count”：2，“title”：[“展开并行结构良好的过渡系统”]，“prefix”：“10.1007”，“author”：[｛“given”：“Fr\u00e9d\u00e9ric”，“family”：“Herbreteau”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Gr\u00e9goire”，“family”：“Sutre”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“The Quang”，“family”：“Tran”，“sequence”：“additional”，”隶属关系“：[]｝]，“member”：“297”，“reference”：[{“issue”：“1-2”，“key”：“55_CR1”，“doi-asserted-by”：“publisher”，”first page“：”109“，”doi“：”10.1006 \/inco.1999.2843“，”volume“：“160”，”author“：”P.A.Abdulla“，“year”：“2000”，“unstructured”：“Abdula，P.A.，et al.：具有良好拟序域的程序的算法分析。信息与计算\u00a0160（1-2），109\u2013127（2000）“，”journal-title“：“信息与计算”}，{“key”：“55_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“495”，“doi”：“10.1007\/10722167_37”，“volume-title”：”计算机辅助验证“，”author“：”P.A.Abdulla“，”年份“：”2000“，”非结构化“：”Abdulla，P.A.，Iyer，S.P.，Nyl\u00e9n，A.：无界petri网的展开。In:Emerson，E.A.，Sistla，A.P.（编辑）CAV 2000。LNCS，卷\u00a01855，第495\u2013507页。Springer，Heidelberg（2000）“}，{”key“：”55_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“379”，”doi“：”10.1007\/BFb0028760“，”volume-title“：“计算机辅助验证”，“author”：“P.A.Abdulla”，“year”：“1998”，“unstructured”：“Abdulla，P.A.等人：符号验证中部分降阶的一般方法（扩展抽象）。收录：Vardi，M.Y.（编辑）CAV 1998。LNCS，卷\u00a01427，第379页\u2013390。Springer，Heidelberg（1998）“}，{“key”：“55_CR4”，“volume-title”：“有限转换系统。通信系统的语义”，“author”：“A.Arnold”，“year”：“1994”，“unstructured”：“Arnold，A.：有限转换系统.通信系统的语义学。Prentice-Hall，Englewood Cliffs（1994）”}，}，“key“：”55_CR5“series-title”：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：”121“，“doi”：“10.1007\/3-540-45740-2_9”，“volume-title”：“Petri网2001的应用和理论”，“author”：“J.-M.Couvreur”，“year”：“2001”，“unstructured”：“Couvreu，J.-M.，Grivet，S.，Poitrenaud，D.：对称Petri网乘积的展开。In：Colom，J.-M.，Koutny，M.（编辑）ICATPN 2001。LNCS，卷\u00a02075，第121\u2013143页。Springer，Heidelberg（2001）“}，{”key“：”55_CR6“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“157”，”doi“：”10.1007\/978-3-540-27793-4_10“，”volume-title“：“Petri网的应用与理论2004”，”author“：”J.Desel“，”year“：”2004“，”unstructured“：”Desel，J.，Juh\u00e1s，G.，Neumair，C.：无界petri网的有限展开。收录：Cortadella，J.，Reisig，W.（编辑）ICATPN 2004。LNCS，卷\u00a03099，第157\u2013176页。Springer，Heidelberg（2004）“}，{”key“：”55_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“2”，”doi“：”10.1007\/3-540-48320-9_2“，”volume-title“：“CONCUR\u201999。并发理论”，“作者”：“J.Esparza”，“年份”：“1999年”，“非结构化”：“Esparza，J.，R\u00f6mer，S.：过渡系统同步乘积的展开算法。In：Baeten，J.C.M.，Mauw，S.（编辑）CONCUR 1999。LNCS，第u00a01664卷，第2\u201320页。Springer，Heidelberg（1999）“}，{”issue“：“3”，”key“：“55_CR8”，”doi-asserted-by“：”publisher“，”first page“：”285“，”doi“：”10.1023\/A:1014746130920“，”volume“：‘20’，”author“：”J.Esparza“，“year”：“2002”，”unstructured“：”Esparsa，J.，R\u00f6mer，S.，Vogler，W.：McMillan\u2019s展开算法的改进。系统中的形式方法设计\u00a020（3），285\u2013310（2002）“，”journal-title“：”Formal Methods in System Design“}，{“issue”：“2”，“key”：“55_CR9”，“doi-asserted-by”：“publisher”，“first page”：”144“，”doi“：”10.1016\/0890-5401（90）90009-7“，”volume“：”89“，”author“：”A.Finkel“，”year“：”1990“，”unstructured“：”Finkel，A.：无限可达树的约简和覆盖。信息与计算\u00a089（2），144\u2013179（1990）“，”日记标题“：”信息与计算“}，{“问题”：“1-2”，“关键字”：“55_CR10”，“doi-asserted-by”：“publisher”，“首页”：“63”，“doi”：“10.1016\/S0304-3975（00）00102-X”，“卷”：“256”，”作者“A.Finkel”，“年份”：“2001”，“非结构化”：“Finkel，A.，Schnoebelen，P.：到处都是结构良好的过渡系统？理论计算机科学\u00a0256（1-2），63\u201392（2001）“，“journal-title”：“理论计算机科学”}，{“key”：“55_CR11”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/3-540-60761-7”，“volume-title“并行系统验证的部分序方法”，“author”：“P.Godefroid”，“年”：“1996年”，“非结构化”：“Godefroid，P.：并行系统验证的部分顺序方法。LNCS，卷\u00a01032。Springer，Heidelberg（1996）“}，{”key“：”55_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“458”，”doi“：”10.1007\/3-540-36577-X_34“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“V.Khomenko”，“year”：“2003”，“unstructured”：“Khomenko，V.，Koutny，M.：高级petri网的分支过程。收录于：Garavel，H.、Hatcliff，J.（编辑）ETAPS 2003和TACAS 2003。LNCS，第00a02619卷，第458\u2013472页。Springer，Heidelberg（2003）“}，{”key“：”55_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“334”，”doi“：”10.1007\/1126841_23“，”volume-title“：“FM 2005:Formal Methods”，”author“：”Y.Lei“，”year“：”2005“，”unstructured“：”Lei，Y.，Iyer，S.P.：展开异步通信协议的方法。In:Fitzgerald，J.S.，Hayes，I.J.，Tarlecki，A.（编辑）FM 2005。LNCS，第u00a03582卷，第334\u2013349页。Springer，Heidelberg（2005）“}，{“key”：“55_CR14”，“series-title”：“计算机科学讲义”，“首页”：“279”，“volume-title”：《Petri网进展》1986。《高级课程论文集》，“作者”：“A.W.Mazurkiewicz”，“年份”：“1987年”，“非结构化”：“Mazurkiewicz，A.W.：痕迹理论。在：Brauer，W.，Reisig，W.，Rozenberg，G.（编辑）APN 1986。LNCS，第u00a0255卷，第279\u2013324页。Springer，Heidelberg（1987）“}，{”issue“：”1“，”key“：”55_CR15“，”doi-asserted-by“：”publisher“，”first page“：“45”，“doi”：“10.1007”，“volume”：“6”，“author”：“K.L.McMillan”，”year“：”1995“，”unstructured“：”McMilland，K.L.:一种基于展开的状态空间搜索技术。《系统设计的形式方法》\u00a06（1），45\u201345（1995）“，”journal-title“：”系统设计中的形式方法“}，{“key”：“55_CR16”，“doi-asserted-by”：“publisher”，“first page”：”85“，”doi“：”10.1016\/0304-3975（81）90112-2“，”volume“：”13“，”author“：”M.尼尔森“，”year“：”1981“，”unstructured“：”尼尔森，M.，Plotkin，G.，Winskel，G.：Petri网，事件结构和域，第一部分。理论计算机科学\u00a013，85\u2013108（1981）“，”杂志标题“：”理论计算机科学“}，{“问题”：“2”，“关键”：“55_CR17”，“doi-asserted-by”：“出版商”，“首页”：“191”，“doi”：“10.1006\/inco.1995.1062”，”卷“118”，”作者“M.尼尔森”，“年份”：“1995”，“非结构化”：“Nielsen，M.、Rozenberg，G.、Thiagarajan，P.S.：过渡系统、事件结构和展开。信息与计算\u00a0118（2），191\u2013207（1995）“，”journal-title“：”Information and Computation“}，{“key”：“55_CR18”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”409“，”doi“：”10.1007 \/3-540-56922-7_34“，”volume-title：“计算机辅助验证”，“author”：“D.Peled”，”年份：“1993”，“非结构化“：”Peled，D.：从一开始，一对所有：关于使用代表进行模型检查。收录：Courcoubetis，C.（编辑）CAV 1993。LNCS，第u00a0697卷，第409\u2013423页。Springer，Heidelberg（1993）“}，{”key“：”55_CR19“，”unstructured“：”Pep tool.Homepage:\n\n http://peptool.sourceforge.net//“}”，{“key”：“55_CR20”，“unstructure”：“Tina tool.Homepage:\n\n http://www.laas.fr\/Tina\/“}计算机科学讲义”，“卷时间”：“1990年Petri网的进展”，“作者”：“A.Valmari”，“年份”：“1991年”，“非结构化”：“Valmari，A.：简化状态空间生成的Stubborn集。在：Rozenberg，G.（编辑）APN 1990。LNCS，vol.\u00a0483，Springer，Heidelberg（1991）“}]，“container-title”：[“系统构建和分析的工具和算法”，“计算机科学课堂讲稿”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.10007\/978-3-540-71209-1_55.pdf”，“content-type”：“unspecified”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,19]]，”date-time“：”2020-11-19T05:16:57Z“，”timestamp“：1605763017000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://link.springer.com\/10007\/978-3-540-71209-1_55”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[null]]}，“ISBN”：[“9783540712084“，”97835407.12091“]，”references-count“：21，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-71209-1_55“，”relation“：{}，”subject“：[]}}”