{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,10]]，“日期时间”：“2024-06-10T00:11:14Z”，“时间戳”：1717978274263}，“出版商位置”：“查姆”，“参考计数”：26，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319077338”，“类型”：”打印}，{“值”：“9783319077345”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2014,1,1]]，“date-time”：“2014-01-01T00:00:00Z”，“timestamp”：1388534400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[2014,1]]:00Z“，”timestamp“：1388534400000}，”content-version“：”tdm“，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3319-07734-5_10“，”type“：”book-capter“，”created“：”{“date-part”：[2014,7,1]]，“日期时间”：“2014-07-01T13:57:34Z”，“时间戳”：1404223054000}，“页面”：“170-189”，“源”：“Crossref”，“is-referenced-by-count”：4，“标题”：[“多块网络的流展开”]，“前缀”：“10.1007”，”作者“：[{“给定”：“Giovanni”，“family”：“Casu”，“sequence”：“first”，“affiliation”：[]}，{“given”：“G.Michele”，“家族”：“Pinna”，“序列”：“附加”，“从属关系”：[]}]，“成员”：“297”，“引用”：[{“键”：“10_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Khomenko，V.：基于Petri网展开前缀的模型检查。Tyne河畔纽卡斯尔大学计算科学学院博士论文（2003）”，“doi”：“10.1007\/s00236-003-0122-y”}，{“key”：“10_CR2”，“doi-asserted-by”：”publisher“，”first page“：”33“，”doi“：”10.1007\/s10626-005-5238-5“，”volume“15”，“author”：“E.Fabre”，“year”：“2005”，“unstructured”：“Fabre，E.，Benveniste，A.，Haar，S.，Jard，C.：并发和异步系统的分布式监控。离散事件动态系统\u00a015，33\u201384（2005）”，“期刊标题”：“离散事件动态体系”}，{“key”：“10_CR3”，“series-title”：“计算机科学讲稿”，“doi-asserted-by”：“crossref”，“first page”：“325”，“doi”：“10.1007\/3-540-17906-2_31”，“volume-title”：“Advances in Petri Nets 1986.”，“author”：“G.Winskel”，“year”：“1987”，“unstructured”：“Winskel，G.：Event Structures.in:Brauer，W.，Reisig，W.；Rozenberg，G.（eds.）APN 1986。LNCS，第u00a0255卷，第325\u2013392页。Springer，Heidelberg（1987）“}，{”key“：“10_CR4”，”doi-asserted-by“：”publisher“，”first page“：”575“，”doi“：”10.1007\/BF01463946“，”volume“：：”28“，”author“：”J.Engelfriet“，”year“：”1991“，”unstructured“：”Engelfiet，J.：Petri网的分支过程。信息学报\u00a028，575\u2013591（1991）“，”期刊标题“：”信息学报“}，{“键”：“10_CR5”，“doi-asserted-by“：”publisher“，”first-pages“：”45“，”doi“：”10.1007 \/BF01384314“，”volume“：”6“，”author“：”K.McMillan“，“year”：“1995”，”unstructured“：”McMilland，K.：基于展开的状态空间搜索技术。系统设计中的形式方法\u00a06，45\u201365（1995）“，“journal-title”：“系统设计的形式方法”}，{“key”：“10_CR6”，“doi-asserted-by”：“publisher”，“first-page”：“267”，“doi”：“10.1007\/s10626-006-0001-0”，“volume”：”17“author”：“E.Fabre”，“year”：“2007”，“unstructured”：“Fabre，E.：网格进程：并发系统运行的紧凑表示。离散事件动态系统\u00a017，267\u2013306（2007）“，”journal-title“：”离散事件动态体系“}，{“key”：“10_CR7”，“doi-asserted-by”：“publisher”，“first page”：”307“，”doi“：”10.1007\/s00236-006-0023-y“，”volume“：”43“，”author“：”V.Khomenko“，”year“：”2006“，”unstructured“：”Khomenko，V.，Kondratyev，A.，Koutny，M.，Vogler，W.：合并过程：Petri网行为的新浓缩表示。Acta Informatica\u00a043，307\u2013330（2006）“，“journal-title”：“Acta Information”}，{“key”：“10_CR8”，“doi-asserted-by”：“publisher”，“first-page”：“4111”，“doi”：“10.1016\/j.tcs.2009.06.014”，“volume”：van Glabbeek，R.J.，Plotkin，G.D.：配置结构、事件结构和Petri网。理论计算机科学\u00a0410，4111\u20134159（2009）“，“journal-title”：“理论计算机科学”}，{“key”：“10_CR9”，“doi-asserted-by”：“publisher”，“first-page”：“425”，“doi”：“10.1016\/0304-3975（94）00174-H”，”volume“：”138“，”author“G.M.Pinna”，“year”：“1995”，“unstructured”：“Pinna，G.M.，Poign\u00e9，A.：关于事件的性质：并发性的另一个视角。理论计算机科学\u00a0138，425\u2013454（1995）“，”journal-title“：”Theoryal Computer Science“}，{“key”：“10_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“62”，“doi”：“10.1007\/3-540-53479-2_4”，“volume-title”：”并发过程系统的语义“，”作者：“G.Boudol”，“年份”：“1990年”，“非结构化”：“Boudol，G.：流事件结构和流网络。收录：Guessarian，I.（编辑）LITP 1990。LNCS，第u00a0469卷，第62\u201395页。Springer，Heidelberg（1990）“}，{”key“：“10_CR11”，”doi-asserted-by“：”publisher“，”first page“：”247“，”doi“：”10.1006\/inco.1994.1088“，”volume“：‘114’，”author“：”G.Boudol“，”year“：”1994“，”unstructured“：”Boudol，G.，Castellani，I.：分布式计算的流模型：CCS的三个等价语义。信息与计算\u00a0114，247\u2013314（1994）“，“journal-title”：“信息与计算”}，{“key”：“10_CR12”，“doi-asserted-by”：“publisher”，“first-page”：“1”，“doi”：“10.1006\/inco.2001.3060”，“volume”：”171“，“author”：“P.Baldan”，“year”：“2001”，“unstructured”：“Baldan，P.，Corradini，A.，Montanari，U.：上下文Petri网，非对称事件结构和过程。信息与计算\u00a0171，1\u201349（2001）”，“期刊标题”：“信息与计算”}，｛“密钥”：“10_CR13”，“doi断言”：“出版商”，“第一页”：“129”，“doi”：“10.1016\/j.tcs.2004.04.001”，“卷”：“323”，“作者”：“P.Baldan”，“年份”：“2004”，“非结构化”：“Baldan，P.，Busi，N.，Corradini，A.，Pinna，G.M.：具有读取和抑制弧的Petri网的域和事件结构语义。理论计算机科学\u00a0323129\u2013189（2004）“，“期刊标题”：“理论计算机科学”}，{“key”：“10_CR14”，“unstructured”：“Langerak，R.：捆绑事件结构：Lotos的非交叉语义。In:Diaz，M.，Groz，R.（eds.）第五届分布式系统和通信协议形式描述技术国际会议，FORTE 1992，IFIP Transactions C-10，pp.331\u2013346。North-Holland（1992）“}，{”key“：”10_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“278”，”doi“：”10.1007\/3-540-57208-2-20“，”volume-title“：“CONCUR\u201993”，”author“：”J.Gunawardena“，”year“：”1993“，”unstructured“：”Gunawardena，J.：马勒展开安全网的通用事件结构。收录：Best，E.（编辑）CONCUR 1993。LNCS，第u00a0715卷，第278\u2013292页。Springer，Heidelberg（1993）“}，{”key“：”10_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“109”，”doi“：”10.1007\/978-3642-21834-7_7“，”volume-title“：“Petri网的应用和理论”，“author”：“G.M.Pinna”，“year”：“2011”，“unstructured”：“Pinna，G.M.：”值得记住多少？基于Petri网展开的分类法。收录人：Kristensen，L.M.，Petrucci，L.（编辑）PETRI NETS 2011。LNCS，卷\u00a06709，第109\u2013128页。Springer，Heidelberg（2011）“}，{“key”：“10_CR17”，“unstructured”：“van Glabbeek，R.J.，Plotkin，G.D.：配置结构。摘自：Kozen，D.（ed.）IEEE第十届计算机科学逻辑年会论文集，第199\u2013209页。IEEE Computer Society Press（1995）“}，{“key”：“10_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Reisig，W.：Petri Nets:简介。EACTS理论计算机科学专著。Springer（1985）”，“doi”：“10.1007\/978-3642-69968-9”Hayman，J.，Winskel，G.：通用Petri网的展开。摘自：Hariharan，R.，Mukund，M.，Vinay，V.（编辑）IARCS软件技术和理论计算机科学基础年会（FSTTCS 2008），德国达格斯图尔，Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik，德国（2008）“}，{”key“：”10_CR20“，”doi-asserted-by“：”publisher“，”first page“：“85”，“doi”：“10.1016\/0304-3975（81）90112-2”，“卷“：”13“，”作者“：”M.尼尔森“，”年份“：”1981“，”非结构化“：”尼尔森，M.，Plotkin，G.，Winskel，G.：Petri Nets，事件结构和域，第1部分。理论计算机科学\u00a013，85\u2013108（1981）“，”期刊标题“：”理论计算机科学“}，{“key”：“10_CR21”，“doi-asserted-by”：“publisher”，“first page”：”285“，”doi“：”10.1023\/A:1014746130920“，”volume“：”20“，”author“：”J.Esparza“，”year“：”2002“，”unstructured“：”Esparza，J.，R\u00f6mer，S.，Vogler，W.：对McMillan\u2019s展开算法的改进。系统设计中的形式方法\u00a020，285\u2013310（2002）“，“journal-title”：“系统设计中形式方法”}，{“key”：“10_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Khomenko，V.，Mokhov，A.：完全合并过程的直接构造。计算机杂志（2013）（待出版）”，“doi”：“10.1093\/comjnl/bxt014”}非结构化”：“Rathke，J.，Sobocinski，P.，Stephens，O.：分解Petri网。CoRR abs \/1304.3121（2013）“}，{”key“：”10_CR24“，”doi-asserted-by“：”publisher“，”first page“：“95”，“doi”：“10.1007\/s00236-003-0122-y”，“volume”：“40”，“author”：“V.Khomenko”，“year”：“2003”，“unstructured”：“Khomenko，V.，Koutny，M.，Vogler，W.：Petri网展开的规范前缀。《信息学报》\u00a040，95\u2013118（2003））“，”日志标题“：”Acta Informatica“}，{”key“：”10_CR25“，”doi-asserted-by“：”crossref“，”first page“：“245”，“doi”：“10.3233\/FI-2013-809”，“volume”：“123”，“author”：“S.Balaguer”，“year”：“2013”，“unstructured”：“Balague，S.，Chatain，T.，Haar，S.：从揭示关系构建发生网络。Fundamenta Informaticae\u00a0123，245\u2013272（2013）”，“journal-title”：“”Fundamamenta Informaticae“｝，｛“key”：“10_CR26”，“doi asserted by”：“publisher”，“first page”：“66”，“doi”：“10.1016\/j.tcs.2013.04.028”，“volume”：“493”，“author”：“S.Haar”，“year”：“2013”，“nonstructured”：“Haar，S.，Kern，C.，Schwoon，S.：计算发生网中的揭示关系。理论计算机科学\u00a0493，66\u201379（2013）”，“journal-title“：“理论计算机科学”}]，“container-title”：[“Petri网和并发的应用和理论”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-07734-5_10”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-Application”：“相似性检查“}”，“存放”：{“日期部分”：[[2020,8,21]]，“日期时间”：“2020-08-21T20:22:16Z”，“时间戳”：1598041336000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3319-07734-5_10”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2014]}，“ISBN”：[“9783319077338”，“9783316077345”]，“references-count“：26，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-319-07734-5_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，”type“:”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：【】，”published“：{“date-parts”：【2014】】}}}