{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,5,22]]，“日期-时间”：“2022-05-2T05:06:40Z”，“时间戳”：1653196000221}，“出版商位置”：“柏林，海德堡”，“引用-计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540755951”，“类型”：打印“}，{”值“：“9783540755968”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[2007]]}，“DOI”：“10.1007\/978-3-540-75596-8_26”，“type”：“book-chapter”，“created”：{“date-parts”：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“：”362-377“，”source“：“Crossref”，“is-referenced-by-count”：9，“title”：[“Continuous Petri Nets:Expressive Power and Decitability Issues”]，“prefix”：“10.1007”，“作者”：[{“给定”：“Laura”，“family”：“Recade”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Serge”，“family”：“Haddad”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Manuel”，“family”：“Silva”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“issue”：“1”，“key”：“26_CR1”，“doi asserted by”：“publisher”，“first page”：“159”“，”内政部“：“10.1142”，“volume”：“8”，“author”：“H.Alla”，“year”：“1998”，“unstructured”：“Alla，H.，David，R.：连续和混合Petri网。Journal of Circuits，Systems，and Computers\u00a08（1），159\u2013188（1998）”，“Journal-title”：“Journal for Circuics，Systems and Computers”}，{“issue”：“1\u20132”，“key”：”26_CR2“，”doi-asserted-by“publisher”，“首页”：“41”，“DOI”：“10.1023\/A:1008383031624”，“卷”：“11”，“作者”：“F.Balduzzi”，“年份”：“2001”，“非结构化”：“Balduzi，F.，Di Febraro，A.，Giua，A.，Seatzu，C.：决定性导致一阶混合Petri网。离散事件动态系统\u00a011（1\u20132），41\u201357（2001）”，“日志标题”：“离散事件动态系统”}，{“key”：“26_CR3”，“volume-title”：“PNPM国际研讨会的议事程序”，“author”：“G.Ciardo”，“year”：“1987”，“unstructured”：“Cicardo，G.：关于随机Petri网模型建模能力的定义。In:PNPM国际会议议事程序，IEEE计算机社会出版社，Los Alamitos（1987）”}，{“密钥”：“26 _CR4”，“首页”：“245”，“卷”：“52”，“author”：“J.Esparza”，“year”：“1994”，“unstructured”：“Esparza，J.，Nielsen，M.：Petri网的可决定性问题-一项调查。EATCS\u00a052，245\u2013262（1994）”，“journal title”：“EATCS公告”}，{“key”：“26_CR5”，“非结构化”：“Forrester，J.W.：系统原理。生产力出版社（1968）”}：“计算机科学讲义”，“doi断言者”：“出版商”，“第一页”：“230”，“doi”：“10.1007\/11867340_17”，“卷标题”：“定时系统的形式建模与分析”，“作者”：“S.Haddad”，“年份”：“2006”，“非结构化”：“Haddad，S.，Recalde，L.，Silva，M.：关于时间可微Petri网的计算能力。摘自：Asarin，E.，Bouyer，P.（eds.）FORMATS 2006。LNCS，第u00a04202卷，第230\u2013244页。Springer，Heidelberg（2006）“}，{“key”：“26_CR7”，“volume-title”：“形式语言及其与自动机的关系”，“author”：“J.E.Hopcroft”，“year”：“1969年”，“unstructured”：“Hopcroff，J.E.，Ullman，J.D.：形式语言及其对自动机的影响。Addison-Wesley，Reading（1969）”doi-asserted-by“：”crossref“，”first page“：”221“，”doi“：”10.1007\/3-540-44919-1_16“，”volume-title“：”ICATPN 2003“，”author“：”J.J\u00falvez“，”year“：”2003“，“unstructured”：“J\u00 falveze，J.，Recalde，L.，Silva，M.：关于自治连续Petri网系统的可达性。收录人：van der Aalst，W.M.P.，Best，E.（编辑）ICATPN 2003。LNCS，卷\u00a02679，第221\u2013240页。Springer，Heidelberg（2003）“}，{”key“：”26_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“107”，”doi“：”10.1007\/3-540-48745-X_8“，”volume-title“：“Petri网的应用与理论1999”，”author“：”L.Recalde“，”year“：”1999“，”unstructured“：”Recalde，L.、Teruel，E.、Silva，M.：自治连续P/T系统。收录：Donatelli，S.，Kleijn，J.H.C.M.（编辑）ICATPN 1999。LNCS，第u00a01639卷，第107\u2013126页。Springer，Heidelberg（1999）“}，{”key“：”26_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Silva，M.：“Petri网简介。In:Petri网在制造业中的实践，pp.1\u201362。Chapman&Hall（1993）“，”DOI“：”10.1007\/978-94-011-6955-4_1“}，{”key“：”26_CR11“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”crossref“，”first page“：“26”，“DOI”：“10.1007\/11494744_4”，“volume-title”：“ICATPN 2005”，“author”：“M.Silva”，“year”：“2005”，”unstructured“：”Silva，M.，Recalde，L.：时间Petri网的延续：从性能评估到观察和控制。收录：Ciardo，G.，Darondeau，P.（编辑）ICATPN 2005。LNCS，第u00a03536卷，第26\u201346页。Springer，Heidelberg（2005）“}，{”key“：”26_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“309”，”doi“：”10.1007\/3-540-65306-6_19“，”volume-title“：Silva，M.，Teruel，E.，Colom，J.M.：网络系统分析的线性代数和线性规划技术。收录：Reisig，W.，Rozenberg，G.（编辑）《Petri网讲座I：基本模型》。LNCS，第u00a01491卷，第309\u2013373页。Springer，Heidelberg（1998）“}”，“container-title”：[“用于验证和分析的自动化技术”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3-540-75596-8_26”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,19]]，“date-time”：“2019-05-19T14:51:12Z”，“timestamp”：1558277472000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/978-3-540-75596-8_26“}}，”副标题“：[]，”短标题“[]，“issued”：{“date-ports”：[2007]]}，83540755951“，”9783540755.968“]，”references-count“：12，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-75596-8_26“，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN type”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2007]]｝｝