{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T16:07:09Z”，“时间戳”：1725466029501}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 637462“}，{”类型“：”电子“，“value”：“9783540696407”}]，“license”：[{“start”：{“date-parts”：[[1997,1,1]]，“date-time”：“1997-01-01T00:00:00Z”，“timestamp”：852076800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com\/gp\/researters\/text-and-data-mining”}，{“tart”：[1997]1,1,1]]，“日期时间”：“1997-01-01T00:00:00Z”，“时间戳”：852076800000｝，“内容版本”：“vor”，“延迟天数”：0，“URL”：“https:\/\/wspringernature.com\/gp\/researchers\/text and data mining”｝]，“内容域”：｛“域”：[“link.springer.com”]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版印刷品”：｛“日期部分”：[[1997]]｝，“DOI”：“10.1007\/bfbb0052091”，“类型”：“图书章节”，“已创建”：{“date-parts”：[[2006,6,7]]，“date-time”：“2006-06-07T05:02:10Z”，“timestamp”：1149656530000}，“page”：“233-238”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“Observing partial order runs of Petri Nets”]，“prefix”：“10.1007”，“author”：[{“given”：“Astrid”，“family”：“Kiehn”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2006,5,16]]}，“reference”：[{“key”：“20_CR1”，“doi-asserted-by”：“publisher”，”first page“：”231“，”doi“：”10.1007\/BF01178506“，”volume“28”，“author”：“E.Best”，”year“1991”，“unstructured”：“E.Best，R.Devillers，A.Kiehn和L。波梅尔。Petri网中的并发互模拟。《信息学报》，（28）：231\u20132641991.“，”杂志标题“：”信息学报“}，{“key”：“20_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Darondeau和P.Degano.因果树.In Proceedings of ICALP 89，number 372 In Leecast Notes In Computer Science，pages 234\u20132481989.”，“doi”：“10.1007\/BFb0035764”}，“{”key“：”“20_CR3”，“doi-asserted-by“：”publisher“，”first page“：”59“，”doi“：”10.1007\/BF02915446“，”volume“：“26”，”author“：”P.Degano“，”year“：”1988“，”unstructured“：”P Degano、R.De Nicola和U.Montanari。基于条件/事件系统的CCS分布式操作语义。《信息学报》，26:59\u2013911988年。“，”journal-title“：”Acta Informatica“}，{“key”：“20_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“V.Diekert。痕迹组合学。1990年Ledure Notes in Computer Science，454号。”，“doi”：“10.1007\/3-540-53031-2”}，“issue”：“2\u20133”，“key“：”20_CR5“，”doi-assert-by“：”publisher“首页：“125”DOI“：”10.1016\/S0019-9958（83）80040-0“，”volume“：”57“，”author“：”U.Goltz“，”year“：”1983“，”unstructured“：”U-Goltz and W.Reisig“。Petri网的非顺序行为。信息与控制，57（2\u20133）：125\u20131471983。“，”journal-title“：”Information and Control“}，{”key“：”20_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”P.W.Hoogers，H.C.M.Kleijn和P.S.Thiagarajan。Petri网的跟踪语义。In W。Kuich，编辑，《ICALP 92会议录》，第623页，《计算机科学讲义》，第595\u2013604页，1992年。“，“DOI”：“10.1007\/3-540-55719-9_107”}，{“key”：“20_CR7”，“DOI-asserted-by”：“publisher”，“first page”：”697“，”DOI“：”10.1007\/BF01178730“，”volume“31”，“author”：“A.Kiehn”，”year“1994”，“unstructured”：“A。基恩。比较基于位置和因果关系的等效性。《信息学报》，31:697\u20137181994.“，“journal-title”：“信息学报”}，{“key”：“20_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“A.Mazurkiewicz。并发程序方案及其解释。DAIMI PB-78报告，奥尔胡斯大学，1977年。”，“doi”：“10.7146\/dpb.v6i78.7691”}]，“container-title“：[计算机科学讲稿”，“计算机科学基础“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/BFb0052091“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,2,10]]，”date-time“：“2023-02-10T18:36:23Z”，“timestamp“：1676054183000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/link.springer.com/10.1007\/BFb0052091”}}，“副标题”：[]，“短标题”：[]，“已发布”：{-“日期-部分”：[[1997]]}，《国际标准图书编号》：[“9783540637462”，“978354696407”]，“参考计数”：8，“URL”:“http://\/dx.doi.org\/10.1007\/BFb0052091“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn-type“：[{”type“:”print“，”value“：”0302-9743“}，{”type“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：}