{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,13]]，“日期时间”：“2023-09-13T18:36:00Z”，“时间戳”：1694630160116}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540676935”，“类型”：“打印”}，{“值”：“9783540449881”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2000,1,1]]，“date-time”：“2000-01T00:00:00Z”，“timestamp”：946684800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“开始”：{“date-parts”：[2000,1]]：“2000-01-01T00:00:00Z”，“时间戳”：946684800000}，“内容版本”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2000]]}，”DOI“：”10.1007\/3-540-44988-4_2“，”type“：”book-capter“，”created“：{”date-part“：[[2000 7,8,1]]，“日期-时间”：“2007-08-01T01:38:07Z”，“时间戳”：1185932287000}，“page”：“16-23”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：17，“title”：[“基于区域的P/T-Nets合成及其潜在应用”]，“prefix”：“10.1007”，”author“：[{”given“：“Philippe”，“family”：“Darondeau”，《序列》：“first”，“affiliation”：[]}]，“成员”：“297”，“published-online”：{“date-parts”：[[2000,6,9]]}，“reference”：[{“issue”：“2”，“key”：“2_CR1”，“doi-asserted-by”：“publisher”，“first page”:“228”，“doi”：“10.1016\/0041-5553（65）90045-5”，“volume”：”5“，“author”：“N.V.Chernikova”，“year”：“1965”，“unstructured”：“Chernikova，N.V.：寻找线性不等式组非负解的一般公式的算法。U.S.S.R.计算数学和数学物理5 no.2（1965）228\u2013233”，“期刊标题”：“U.S.S.R.计算物理和数学物理”}，{“key”：“2_CR2”，“非结构化”：“Arnold，A.，Nivat，M.：Comportements de processus.Les math\u00e9matiques de l\u2019informatique，座谈会AFCET（1982）35\u201368”}，{“key”：“2_CR3”，“doi-asserted-by”：“publisher”，“first page”：：“315”，“doi”：“10.1007\/BF00264611”，“volument”：“27”，“author”：“A.Ehrenfeucht”，“year”：“1990”，“unstructured”：“Ehrenfaucht，A.，Rozenberg，G.：部分（集）2-结构；第一部分：基本概念与表征问题。Acta Informatica 27（1990）315\u2013342“，”journal-title“：”Acta Informationca“}，{”key“：”2_CR4“，”doi-asserted-by“：”publisher“，”first page“：“343”，”doi“：”10.1007\/BF00264612“，“volume”：“27”，“author”：“A.Ehrenfeucht”，“year”：“1990”，“unstructured”：“Ehrenfaucht，A.，Rozenberg，G.：Partial（Set）2-Structures；第二部分：并发系统的状态空间。《信息学报》27（1990）343\u2013368“，”journal-title“：”Acta Informatica“}，{”issue“：”4“，”key“：”2_CR5“，”doi-asserted-by“：”publisher“，”first-page“：”443“，”doi“：”10.1142\/S0129054192000231“，”volume“：“3”，”author“：”M.Mukund“，”year“：”1992“，”unstructured“：”Mukund，M.：Petri Nets and Step Transition Systems.Int。找到的日志。公司的。《科学》3第4期（1992）443\u2013478“，“期刊标题”：“国际发现杂志”。公司的。Science“}，{”key“：”2_CR6“，”doi-asserted-by“：”publisher“，”first page“：“1692”，“doi”：“10.1109\/9.173140”，“volume”：“37”，“author”：“K.Rudie”，“year”：“1992”，“unstructured”：“Rudie，K.，Wonham，W.M.：全球思考，局部行动：分散监督控制。IEEE Trans.on Automatic Control 37 no.11（1992）1692\u20131707”，“journal-title”：“IEEE传输。关于自动控制“}，{“key”：“2_CR7”，“unstructured”：“Droste，M.，Short，R.M.：具有并发关系的Petri网和自动机——一个形容词。编程语言和模型理论的语义，M.Droste和Y.Gurevich eds（1993）69\u201387”}，}，“key“：”2_CR8“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：364“，“DOI”：“10.1007\/3-540-59293-8_207”，“卷时间”：“程序。CAAP，“作者”：“E.Badouel”，“年份”：“1995年”，“非结构化”：“Badouel，E.，Bernardinello，L.，Darondeau，Ph.：有界网综合的多项式算法。程序。CAAP，LNCS 915（1995）364\u2013378“}，{“key”：“2_CR9”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”348“，”doi“：”10.1007\/3-540-60218-6_26“，”volume-title“：”Proc.Concur“，”author“：”P.Jancar“，”年份“：”1995“，”非结构化“：”Jancar，P.，Moeller，F.：检查Petri网的正则性，Proc。Concur，LNCS 962（1995）348\u2013362“}，{“key”：“2_CR10”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”24“，”doi“：”10.1007\/3-540-60164-3_18“，”volume-title“：”Proc.CTCS“，”author“：”E.Badouel“，”year“：”1995“，”unstructured“：”Badouel，E.，Darondeau，Ph.：由精神分裂症对象诱导的网络和自动机之间的二重性。程序。CTCS，LNCS 953（1995）24\u201343“}，{“key”：“2_CR11”，“doi-asserted-by”：“publisher”，“first page”：：“297”，“doi”：“10.1007\/s002360050046”，“volume”：”33“，“author”：“J.Desel”，“year”：“1996”，“unstructured”：“Desel，J.，Reisig，W.：Petri Nets的合成问题。信息学报33（1996）297\u2013315”，“journal-title”：“信息学报”}，{“键”：“2_CR12”，“series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：”529“，”doi“：”10.1007\/3-540-65306-6_22“，”volume-title“：“区域理论。Petri网讲座I：基本模型”，“作者”：“E.Badouel”，“年份”：“1998年”，“非结构化”：“Badouel，E.，Darondeau，Ph.：区域理论。Petri网讲座I：基本模型，LNCS 1491（1998）529\u2013586“}，{“key”：“2_CR13”，“unstructured”：“Bernardinello，L.：Propri\u00e9t\u00e9-alg\u00e 9briques et combinetoires des r\u00e9 gions dans les grapes et leur application\u00e0 la synth\u00e_8se de r\u00e9seaux.Th\u00o8se，Univ.Rennes（1998）”}，}，“key“：”2_CR8se 14“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：”533“，”doi“：”10.1007\/BFb0055646“，”volume-title“：”Proc。Concur”，“作者”：“Ph.Darondau”，“年份”：“1998”，“非结构化”：“Darondeau，Ph.：从形式语言中导出无界Petri网。程序。Concur，LNCS 1466（1998）533\u2013548“}，{“key”：“2_CR15”，“unstructured”：“Badouel，E.：Automates r\u00e9versibles et r\u00e9seaux de Petri，dualit\u00e9 et repr\u00e 9sentation:le probl\u00e8me de synth\u00e 8se。Document d\u2019habilitation 31，Irisa（1999），可从http://www.Irisa.fr\/EXTERNE\/bibli \/habiliations获得。html“}，{”键“：”2_CR16“，”非结构化”：“Caillaud，B.：有界Petri网综合技术及其在反应自动机分布中的应用。JESA 9\u201310 no.33（待发布）“}，{“key”：“2_CR17”，“unstructured”：“Darondeau，Ph.：关于无上下文图的Petri网实现。（待发布的）”}，}“key:”2_CR18“，”unstructure“：“Synet:http://\/www.irisa.fr\/pampa\/LOGICIELS\/Synet\/Synet.html”}]，“container-title”：[“计算机科学中的讲义”，“Petri网的应用和理论2000”]，“original-title”：[]，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-44988-4_2”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[2021,10,25]]，“日期-时间”：“2021-10-25T05:02:49Z”，“时间戳”：1635138169000}，“分数”：1，“资源”：{“主”：{“URL”：“https:\/\/link.springer.com/10.1007\/3-540-44988-4_2”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2000]]}“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2000]]}