{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,3]]，“日期-时间”：“2024-07-03T10:24:43Z”，“时间戳”：1720002283773}，“参考-计数”：28，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[2018,9,1]]，《日期-时间》：“2018-09-01T00:00:00 0:00Z“，”timestamp“：1535760000000}，”content-version“：“tdm”，“延迟天数”：0，“URL”：“https:\/\/weelsevier.com\/tdm\/userlicense\/1.0\/”}]，“资助者”：[｛“DOI”：“10.13039\/50101100002924”，“name”：“FEDER”，“DOI asserted by”：“publisher”，“award”：[“TIN2015-65845-C03-02-R”]}]，“内容域”：｛“domain”：[“elsevier.com”，“sciencedirect.com”]，“crossmark restriction”：true｝，“短集装箱标题“：[“应用数学与计算”]，“published-print”：{“date-parts”：[[2018,9]]}，“DOI”：“10.1016\/j.amc.2018.03.073”，“type”：“journal-article”，“created”：{“date-ports”：[[2018,4,24]]，“date-time”：“2018-04-24T23:16:17Z”，“timestamp”：1524611777000}，”page：“401-415”，“update-policy”：”http://\/dx.DOI org\/10.1016\/elsevier_cm_policy“，”源“：”Crossref“，“is-referenced-by-count”：2，“special_numbering”：“C”，“title”：[“timed-arc Petri网中的强行为相似性”]，“前缀”：“10.1016”，“卷”：“333”，“作者”：[{“ORCID”：“http://\/ORCID.org\/00000-0003-3462-7656”，”authenticated-ORCID“：false，”given：“Valent\u00edn”，“family”：“Valero”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78“，”参考“：[{“key”：“10.1016\/j.amc.2018.03.073_bib0001”，“first page”：”451“，“article-title”：“区间时间有色petri网及其分析”，“volume”：：“691”，”author“：”van der Aalst“，“year”：“1993”，“journal-title“：”Lect.Notes Compute.Sci.“}，{“key”：53英寸，“doi”：“10.1007\/3-540-45740-2_5”，“article-title”：“定时petri网和BQO”，“volume”：“2075”，“author”：“Abdulla”，“year”：“2001”，“journal-title“：”Appl.Theory petri nets Lect Notes Compute.Sci.“}，{“key”：”10.1016\/j.amc.2018.03.73_bib0003“，”series-title“：“定时petri网国际研讨会论文集”，“首页”：“80”，“article-title”：“关于随机时间的petri网”，“author”：“Marsan”，“year”：“1985”}，{“issue”：“1”，“key”：“10.1016\/j.amc.2018.03.73_bib0004”，“doi-asserted-by”：“crossref”，《首页》：“55”，“doi”：“101016\/j.datak.2007.06.010”，“article-title”：“基于观察到的行为量化过程等价性”，“volume”：2008年”，“journal-title”：“Data Knowl.Eng.J.”}，{“key”：“10.1016\/J.amc.2018.03.073_bib0005”，“series-title”：《第八届计算机科学数学与工程方法博士年会论文集》（MEMICS\u201912），《计算机科学讲义》，“首页”：“69”，“article-title“：“在闭时间弧petri网上验证活性属性”，“volume”：“volume7721”，“author”：“Andersen”，“year”：“2013”}，{“issue”：“4”，“key”：”10.1016\/j.amc.2018.073_bib0006“，”doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.4018\/jwsr.2007100101“，”article-title“：“开发过程挖掘、发现和集成的距离度量”，“卷”：“4”，“作者”：“Bae”，“年份”：“2007”，“日志标题”：“Int.J.Web Serv.Res.”}，{“key”：“10.1016\/J.amc.2018.03.73_bib0008”，“series-title”：“第十届国际IFIP WG6.1协议规范、测试和验证研讨会论文集，北荷兰”，“首页”：“1”，“文章标题”：“从时间petri网到时间LOTOS”，“作者”：“博洛涅西”，“年份”：“1990”}，{“key”：“10.1016\/j.amc.2018.03.073_sbref0009”，“series-title”：“第二届澳大利亚-日本随机模型研讨会论文集”，“article-title”：“petri网建模时间”，“author”：“Bowden”，“year”：“1996”}，{“issue”：“1\u20132”，“key”：“10.1016\/j.amc.2018.03.73_bib0010”，“doi-asserted-by”：“crossref”，《first page》：“1”，“doi”：“1016\/S0304-3975（98）00008-5”，“article-tite”：“用于系统规范的时间petri网的基于时间的表现力”，“卷”：“216”，“作者”：“Cerone”，“年份”：“1999”，“期刊标题”：“Theor.Comput.Sci.”}，｛“key”：“10.1016\/j.amc.2018.03.073_bib0011”，“系列标题”：“第23届IEEE人工智能工具国际会议论文集”，“首页”：“922”，“文章标题”：“用于主动规则验证的基于petri网的度量”，“作者”：“Chavarr\u00eda Ba\u00e9z”，“年份”：“2011”}，｛“密钥”：“10.1016\/j.amc.2018.03.073_bib0012”，“系列标题”：“第18届系统构建与分析工具与算法国际会议论文集（TACAS\u201912），计算机科学讲义”，“第一页”：“492”，“article-title”：“TAPAAL 2.0:时弧petri网集成开发环境”，“volume”：“7214”，“author”：“David”，“year”：“2012”}，{“key”：”10.1016\/j.amc.2018.03.73_bib0013“，”doi-asserted-by“：”crossref“，”first page“：”187“：“1825”，“author”：“de Frutos”，“year”：“2000”，“journal-title”：“Appl.Theory Petri Nets Lect.Notes Compute.Sci.”}，{“key”：“10.1016\/j.amc.2018.03.073_bib0014”，“doi-asserted-by”：“crossref”，“unstructured”：“R.M.Dijkman，M.Dumas，L。Garc\u00eda-Ba\u00f1uelos。业务流程模型相似性搜索的图形匹配算法。《第七届国际会议论文集》，《业务流程管理会议（BPM）》，《计算机科学讲义》，第5701卷，第4863页。2009.“，”DOI“：”10.1007\/978-3642-03848-8_5“}，{“key”：“10.1016\/j.amc.2018.03.73_bib0015”，“首页”：“180”，“文章标题”：“五十年的图形匹配、网络对齐和网络比较”，“卷”：“346\u2013347”，“作者”：“Emmert-Streib”，“年份”：“2016”，“日志标题”：”Inf.Sci.Direct“}mc.2018.03.073_bib0016“，”doi-asserted-by“：”crossref“，”first page“：”282“，”doi“：”10.1007\/3-540-56863-8_52“，”article-title“：”带时间弧的位置转换网络分析及其在批处理过程控制中的应用“，”volume“：“691”，”author“：”Hanisch“，”year“：”1993“，”journal-title”：“Appl”。理论Petri网，Lect。注释计算。科学。“}，{”key“：”10.1016\/j.amc.2018.03.073_bib0017“，”series-title“：”SOFSEM 2011会议录，计算机科学理论与实践，计算机科学讲义“，”首页“：”46“，”article-title“：“时弧petri网验证”，“volume”：“volume6543”，“author”：“Jacobsen”，“year”：“2011”}，“key”：”10.116\/j-amc.2018.073_bib0020“，”series-title“：IEEE计算机学会第五届面向服务的系统工程国际研讨会论文集”，“首页”：“193”，“文章标题”：“web服务组合中基于petri网的业务流程的复杂性分析”，“作者”：“Mao”，“年份”：“2010”}，{“key”：“10.1016\/j.amc.2018.03.073_bib0021”，“series-ttle”：“通信协议可恢复性研究”，“作者”：“Merlin”，“年份”：“1974”}，{“关键”：“10.1016\/j.amc.2018.03.073_bib0022”，“系列标题”：“第21届软件技术与理论计算机科学基础国际会议论文集（FSTTCS\u201901），计算机科学讲义”，“首页”：“280”article-title“：”分布式时弧petri网的属性“，”volume“：”2245“，”author“：”Nielsen“，”year“：”2001“}，{“key”：“10.1016\/j.amc.2018.03.73_bib0023”，”series-title“：“用时间petri网对异步并发系统进行性能评估”，“author”：“Ramchandani”，“year”：“1973”}，“issue”：“3”，“key“”：”10.1016\/j.amc.2018.073_bib 0024“，”doi-asserted-by“：”crossref“，”first page“：”377“，”doi“：”10.1108\/14637150610668024“，”article-title“：”过程建模的潜在陷阱：第二部分“，”volume“：“12”，”author“：”Rosemann“，“year”：“2006”，”journal-title”：“Bus。流程管理。J.“}，{”key“：”10.1016\/J.amc.2018.03.073_bib0026“，”series-title“：”第八届国际Petri网与性能模型研讨会论文集（PNPM\u201999）“，”第一页“：”188“，”article-title“：“关于时弧Petri网可达性的不可判定性”，”author“：”Valero“，”year“：”1999“}”{“key”：“10.1016//J.amc.2018.073_bib 0027”，“series-title“：”动态系统的数学和计算机建模“，”first page“：“69”，”article-title“：”Removing dead transitions in timed-arc petri网“，”volume“:”volume\u00a015“，”author“：”Valero“，”year“：”2009“}，{“key”：“10.1016\/j.amc.2018.073_bib0028”，“doi-asserted-by”：“crossref”，“first pages”：“414”，“doi”：“101007\/3-540-48068-4_24”，”article-title“：”将TPAL规范转换为时间弧petri网“，”卷“：”2360“，”作者“：”瓦莱罗“，”年份“：”2002“，”日志标题“：”应用。理论Petri网。注释计算。科学。“}，{”key“：”10.1016\/j.amc.2018.03.073_bib0029“，”unstructured“：”V.Valero，j.j.Pardo，TPAL tool，计算机科学系，Castilla-La Mancha.http://www.dsi.uclm.es\/investigacion\/retics\/tools\/tools.htm+.“}”，{“key”：“10.1016\\j.amc.2018.03.073_sbref0028”，“首页”：“394”，“article-title”：“基于主转移序列的标记petri网之间的行为相似性度量“，”volume“：”6426“，”author“：”Wang“，”year“：”2010“}，{“key”：“10.1016\/j.amc.2018.03.73_sbref0029”，”first page“：年：“2014”}，{“key”：“10.1016\/j.amc.2018.03.073_bib0032”，“doi-asserted-by”：“crossref”，“首页”：“463”，“doi”：“101016\/j.compind.2010.01.001”，“article-title”：“基于转换邻接关系的工作流网络相似性度量”，“volume”：”61“author”：“Zha”，“year”：“2010”，“journal-title“：”计算Ind.“}]，“container-title“：[”应用数学与计算“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S0096300318302546？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\//api.elsevier.com/content\/artracle\/PI:S0 096300318302546？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,10,17]]，“date-time”：“2019-10-17T00:47:53Z”，“timestamp”：1571273273000}，“score”：1，“resource”：{primary“：{”URL“https:”https:\\/linkinghub.elsevier.com/retrieve\/pii\/S009630 0318302546“}}，”副标题“：[]，”短标题“：[]，”已发布“：{“date-parts”：[[2018,9]]}，“references-count”：28，“alternative-id”：[“S0096300318302546”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.amc.2018.03.073”，“relation”：{}，”ISSN“：[”0096-303“]，”ISSN-type“：[{”value“：”0096-003“，”type“:”print“}]，“subject”：[]，“published”：{“date-parts”：[[2018,9]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher“，”label“：”本文由“}，{”value“：”timed-arc Petri网中的强行为相似性“，”name“：”articletite“，”标签“：”article Title“}”，{“value”：“应用数学与计算”，“name”：“journalttle”，“label”：“Journal Title”}，}“value”：“https:\/\/doi.org\/101016\/j.amc.2018.03.073”，“name”：“articlelink”，”label:“”CrossRef DOI链接到出版商维护的版本“｝，｛”value“：”article“，”name“：”content_type“，”label“：”content type“｝，｛”value“：”\u00a9 2018 Elsevier Inc.保留所有权利。“，”name“：”copyright“，”label“：”copyright“｝]｝