{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,29]]，“日期时间”：“2022-03-29T20:55:03Z”，“时间戳”：1648587303376}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540631415”，“类型”：“打印”}，{“值”：“9783540691884”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1997]}，”DOI“：”10.1007\/3-540-63141-0_11“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T23:08:51Z“，”timestamp“：1330297731000}，”page“：”151-165“，”source“：“Crossref”，“is-referenced-by-count”：11，“title”：[“带抑制器弧的网络的合成”]，“prefix”：“10.1007”，”author“：[{“given”：“Nadia”、“family”：“Busi”，“sequence”：“first”，“affiliation”：[]}，{“given”:“G.Michele”，“families”：“Pinna”，“serquence”:“additional”，“atriation”：“[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,6,7]]}，“参考”：[{“key”：“11_CR1”，“unstructured”：“E.Badouel，L.Bernardinello，and P.Darondeau。基本网络系统的综合问题是NP-complete。Inria研究报告25581995。出现在理论计算机科学。“}，{”key“：”11_CR2“，”doi-asserted-by“：”crossref“，”first-page“：”647“，”doi“：”10.1007\/BF01186645“，”volume“：“32”，”author“：”E.Badouel“，”year“：”1995“，”unstructured“：”E.Badouel and P.Darondeau.Trace nets and process automata.Acta Informatica，32:647\u20136791995.“，”journal-title“：”Acta Informationca“}”，{“key”：“11_CR3“非结构化”：“E.Badouel和P。达伦多。关于一般Petri网的综合。Inria研究报告30251996。“}，{”key“：”11_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Bernardinello.网络系统的合成。In Application and Theory of Petri Nets 1993，《计算机科学讲义691》，第89\u2013105页，1993年。“，”doi“：”10.1007\/3-540-56863-8_42。Busi和R.Gorrieri。\u03c0-演算的Petri网语义。《CONCUR’95会议录》，《计算机科学962讲义》，第145\u2013159页，1995年。“，“DOI”：“10.1007\/3-540-60218-6_11”}，{“key”：“11_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“N.Busi和G.M。平纳。上下文P/T网络的非顺序语义。1996年，《Petri网的应用和理论》，计算机科学课堂讲稿1091，第113\u2013132页，1996年。“，“DOI”：“10.1007\/3-540-61363-3_7”}，{“key”：“11_CR7”，“DOI-asserted-by”：“crossref”，“first-page”：“296”，“DOI:”10.1007\/s002360050046“，”volume“：”33“author”：“J.Desel”，“year”：“1996”，“unstructured”：“J Desel and W。雷西格。Petri网的综合问题。《信息学学报》，33:296\u20133151996.，“期刊标题”：《信息学学报》}，{“键”：“11_CR8”，“doi断言”：“crossref”，“第一页”：“315”，“doi”：“10.1007\/BF002646111”，“卷”：“27”，“作者”：“A.Ehrenfeucht”，“年份”：“1990”，“非结构化”：“A.Ehrenfeucht和G.Rozenberg。部分（集）2-结构；I和II。《信息学报》，27:315\u20133681990.“，”journal-title“：”Acta Informatica“}，{”key“：”11_CR9“，”doi-asserted-by“：”crossref“，“首页”：“545”，“doi”：“10.1007\/BF01178907”，“volume”：“32”，“author”：“U.Montanari”，“year”：“1995”，“unstructured”：“U.Montanali and F.Rossi.Contextual nets.Contextualal nets.Acta Informetica，32:545\u20135961995.”，“新闻标题”：“Acta Informatica“｝，｛“key”：“11_CR10”，“doi asserted by”：“crossref”，“first page”：“443”，“doi”：“10.1142\\S0129054192000231”，“volume”：“3”，“author”：“M.Mukund”，“year”：“1992”，“nonstructured”：“M.Mukund。Petri网和阶跃过渡系统。国际计算机科学基础杂志，3:443\u20134781992。”，“期刊标题”：“国际计算机科学基础杂志“}，{”key“：”11_CR11“，”doi-asserted-by“：”crossref“，”first page“：“3”，”doi“：”10.1016\/0304-3975（92）90180-N“，“volume”：“96”，“author”：“M.Nielsen”，“year”：“1992”，“unstructured”：“M.Nielson，G.Rozenberg，and P.S.”。蒂亚加拉扬。基本过渡系统。理论计算机科学，96:3\u2013331992年。“，”杂志标题“：”理论计算机科学“}，{“key”：“11_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“P.S.Thiagarajan.初等网络系统.在Petri网中的进展1986：第一部分，计算机科学课堂笔记254，第26\u2013591987页。”，“doi”：“10.1007\/978-3-540-47919-2_3”}，}“”key“：”11_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”W.Vogler“。Petri网中异步系统和读取弧的效率。Universit \u00e4t Augsburg，Institute f \u00fcr Mathematik，Report 3521996。“，“DOI”：“10.1007\/3-540-63165-8_209”}，{“key”：“11_CR14”，“DOI-asserted-by”：“crossref”，“first page”：”129“，”DOI“：”10.1016\/0304-3975（95）00120-4“，”volume“：”153“author”：“P.W.Hoogers”，“year”：“1996”，“unstructured”：“P W.Hoorgers，”H.C.M.Kleijn和P.S。蒂亚加拉扬。通用Petri网的事件结构语义。理论计算机科学，153:129\u2013170，1996.“，”journal-title“：”Theoryal Computer Science“}]，“container-title”：[“CONCUR’97：并发理论”，“计算机科学课堂讲稿”]，“original-tittle”：[]，“link”：[{“URL”：“http://\link.springer.com\/content\/pdf\/10.1007\/3-540-63141-011.pdf”，“content-type”：“unspecified”，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposted“：{”date-parts“：[[2020,11,17]]，”date-time“：”2020-11-17T21:16:04Z“，”timestamp“：1605647764000}，”score“：1，”resource“：”primary“：“：[1997]]}，”ISBN“：[”9783540631415“，”9783540691884“]，”references-count“：14，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-63141-0_11“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{“date-parts”：[1997]}}}