{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,3]]，“日期时间”：“2024-04-03T15:15:01Z”，“时间戳”：1712157301322}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540755951”，“类型”：“打印”}，{“值”：“9783540755968”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-75596-8_9“，”type“：”book-capter“，”created“：{”date-ports“：[2007,11,3]]，”date-time“：”2007-11-03T14:03:37Z“，”时间戳“：1194098617000}，”页面“：”98-113“，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“On the Efficient Computation of the Minimal Coverability Set for Petri Nets”]，“prefix”：“10.1007”，”author“：[{”given“：”Gilles“，”family“：”Geeraerts“，“sequence”：“first”，“affiliation”：[]}，{“given”：“劳伦特”，“family”：“Van Begin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“9_CR1”，”series-title“：“计算机科学讲义”，”doi-asserted-by“：”crossref“，”first page“：”210“，”doi“：”10.1007\/3-540-56689-9_45“，”volume-title“：”Petri Nets 1993的进展“，”author“：”A.Finkel“，”year“：”1993“，”非结构化”：“Finkel，A.：Petri网的最小覆盖图。见：Rozenberg，G.（ed.）《Petri网进展》1993。LNCS，第u00a0674卷，第210\u2013243页。Springer，Heidelberg（1993）“}，{“key”：“9_CR2”，“unstructured”：“Finkel，A.，Geeraerts，G.，Raskin，J.F.，Van Begin，L.：最小覆盖树算法的反例。技术报告535，University\u00e9 Libre de Bruxelles（2005）”}，}，“key“：”9_CR3“，”unstructure“：”Geeraerts，G.：井式转换系统的可覆盖性和表达性。比利时布鲁塞尔自由大学博士论文（2007）“}，{“key”：“9_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Geeraerts，G.，Raskin，J.F.，Van Begin，L.：Well-structured languages.Act.Inf.\u00a044（3-4）”，“doi”：“10.1007\/s00236-007-0050-3”}，“key“：”9_CR5“，”doi-assert-by“：”crossref.“，“unsructured“：”Geeraerts，G.，Raskin，J.F.，Van Begin，L.：关于Petri网最小覆盖集的有效计算。技术报告CFV 2007.81“，“DOI”：“10.1007\/978-3-540-75596-8_9”}，{“key”：“9_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“German，S.，Sistla，A.：关于具有多个过程的系统的推理。J.ACM\u00a039（3）（1992）”，“DOI:”10.1145\/146637.146681“}，“key“：”9_CR7“，”series-time“：“计算机科学课堂笔记”，“DOI由“：”插入crossref”，“首页”：“440”，“DOI”：“10.1007\/3-540-6316-6_43”，“卷标题”：“CAV 1997”，“作者”：“B.Grahlmann”，“年份”：“1997”，“非结构化”：“Grahlmann，B.：政治公众人物工具。收录：Grumberg，O.（编辑）CAV 1997。LNCS，卷\u00a01254，第440\u2013443页。Springer，Heidelberg（1997）“}，{键”：“9_CR8”，“首页”：“147”，“卷”：“3”，“作者”：“R.M.卡普”，“年份”：“1969年”，“非结构化”：“卡普，R.M.，Miller，R.E.：并行程序模式。JCSS\u00a03，147\u2013195Luttge，K.：Zustandsgraphen von Petri-Netzen。硕士论文，洪堡大学\u00e4t（1995）“}，{“key”：“9_CR10”，“volume-title”：“Petri Nets.简介”，“author”：“W.Reisig”，“year”：“1986”，“unstructured”：“Reisig，W.：Petri Nets。简介。Springer，Heidelberg（1986）”}，}，“key“：”9_CR11“unstrustered”：：“Van Begin，L.：参数系统计数抽象的有效验证。比利时布鲁塞尔自由大学（2003）博士论文“}”，“container-title”：[“用于验证和分析的自动化技术”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8_9”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,4]]，”date-time“：”2019-05-04T04:40:19Z“，”timestamp“：1556944819000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.springer.com\/10007\/978-3-540-75596-8_9”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2007]]}，“ISBN”：[“9783540755951”，“9783540755968“]，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_9“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date”parts“：[[2007]]}}