{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,14]]，“日期时间”：“2024-03-14T04:34Z”，“时间戳”：1710390879969}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡“，”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_5“，”type“：”book-capter“，”created“：{”date-part“：[[2007,7,31]]，“日期-时间”：“2007-07-31T21:38:07Z”，“时间戳”：1185917887000}，“page”：“43-62”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：9，“title”：[“Parametric Stochastic Well-Formed Nets and Compositional Modelling”]，“prefix”：“10.1007”，“author”：[{“given”:“Paolo”，“family”：“Ballarini”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Susanna”，“family”：“Donatelli”，“sequence”：“additional”，“affiliation”：[]}，{“givena”：“Giuliana”，“家族”：“Franceschinis”，“serquence”:“additionable”，“filiation“：[]2]，“member”：“297”，“published-on-line”：{“date-parts”：[2000,6,9]}；“reference”：[{“key”：“5_CR1”，“unstructured”：“M.Ajmone Marsan，G.Balbo，G.Conte，S.Donatell i和G。弗朗西斯科尼斯。广义随机Petri网建模。J.Wiley，1995.“}，{“key”：“5_CR2”，“unstructured”：“C.Anglano，S.Donatelli，and R.Gaeta。规则结构的并行体系结构：使用SWN建模的案例研究。第五期实习。Petri网和性能模型研讨会，法国图卢兹，1993年10月。IEEE-CS出版社。“}，{”key“：”5_CR3“，”series-title“：”Lect Notes Compute Sci“，”volume-title“：“使用一类模代数网的水电站控制系统的增量规范”，“author”：“E.Battiston”，“year”：“1995”，“unstructured”：“E.Battiston，O.Botti，E.Crivelli，and F。德辛迪奥。使用一类模块化代数网的水电站控制系统的增量规范。程序中。1995年在意大利都灵举行的第16届Petri网应用和理论国际会议。斯普林格·弗拉格。卷LNCS935.“}，{”key“：”5_CR4“，”series-title“：”Lect Notes Compute Sci“，”Volume-title“：“一类应用于B（PN）2语义的可组合高级Petri网”，“author”：“E.Best”，“year”：“1995”，“unstructured”：“E.Best，H.Flrishacl ANF W.Fraczak，R.Hopkins，H.Klaudel，and E。佩尔兹。一类可组合的高级Petri网及其对B（PN）2语义的应用。程序中。1995年在意大利都灵举行的第16届Petri网应用和理论国际会议。斯普林格·弗拉格。第LNCS935卷。“}，{”key“：”5_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Buchholz。GCSPN的层次观及其对定性和定量分析的影响。《并行与分布式计算杂志》，（15），1992年7月。“，”doi“：”10.1016\/0743-7315（92）9004-7“}”，{。Dutheillet、G.Franceschinis和S.Haddad。关于井形彩色网及其符号可达图。程序中。第11名实习生。Petri网应用和理论会议，法国巴黎，1990年6月。在高级Petri网中重印。《理论与应用》，K.Jensen和G.Rozenberg（编辑），Springer Verlag，1991年。“，“DOI”：“10.1007\/978-3642-84524-6_13”}，{“问题”：“1&2”，“关键”：“5_CR7”，“DOI-asserted-by”：“出版商”，“首页”：“39”，“DOI:”10.1016\/S0304-3975（96）00010-2“，“卷”：“176”，“作者”：“G.Chiola”，“年份”：“1997”，“非结构化”：“G。Chiola，C.Dutheillet，G。Franceschinis和S.Haddad。有色Petri网的符号可达性图。理论计算机科学B（逻辑、语义和程序设计理论），176（1&2）：39\u2013651997年4月。Gaeta和M.Ribaudo。GreatSPN 1.7：定时和随机Petri网的图形编辑器和分析器。性能评估，性能建模工具专刊，24（1&2）：47\u2013681995年11月1995年”，“非结构化”：“S.Christensen和L.Petrucci。有色Petri网的模状态空间分析。程序中。1995年在意大利都灵举行的第16届Petri网应用和理论国际会议。斯普林格·弗拉格。卷LNCS935.“}，{”key“：”5_CR10“，”series-title“：”Lect Notes Compute Sci“，”Volume-title“：“PSR方法：集成硬件和软件模型”，“author”：“S.Donatelli”，“year”：“1996”，“unstructured”：“S.Donateli and G。弗朗西斯科尼斯。PSR方法：集成硬件和软件模型。程序中。第17届Petri网应用与理论国际会议，ICATPN2019 96，日本大阪，1996年6月。斯普林格·弗拉格。LNCS，第1091卷。“}，{“key”：“5_CR11”，“unstructured”：“S.Haddad和P.Moreaux.通过聚合和分解评估高级Petri网。第六届Petri网和性能模型国际研讨会，美国北卡罗来纳州达勒姆，1995年10月。延森。彩色Petri网，基本概念，分析方法和实际应用。第1卷。Springer Verlag，1992年。“，“DOI”：“10.1007\/978-3662-06289-0_1”}，{“key”：“5_CR13”，“unstructured”：“K.Jensen。有色Petri网，基本概念，分析方法和实际应用。第2卷。Springer Verlag，1995年。“}，{“key”：“5_CR14”，“unstructured”：“Isabel C.Rojas M.Petri网系统的组合构造和分析。爱丁堡大学博士论文，1997年。”}，“{”key“：”5_CR15“，”unstructure“：”E.Teruel，G.Franceschinis，and M。德皮耶罗。明确gspn的优先级规范：分离优先级。程序中。第八名实习生。Petri网和性能模型研讨会，西班牙萨拉戈萨，1999年9月。IEEE-CS出版社。“}]，”container-title“：[”计算机科学课堂讲稿“，”Petri网2000的应用与理论“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-44988-4_5“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-Application“：”simility-checking“}]“deposed”：{”date-parts“：[2021,10,25]]，“date-time”：“2021-10-25T01:10:08Z”，“timestamp”：1635124208000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/3-540-44988-4_5”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2000]]}，‘ISBN’：[”9783540676935“，”9783549881“]，”references-count“：15，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-44988-4_5“，“relationship”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”、“type”:“print”}，{“value”：“1611-33049”，“type“：”electronic“}]，“subject”：【】，“published”：{“date-parts”：【2000年】】}，”assertion“：【{”value“：“2000年6月9日”，“order”：1，“name”：“first_online”，“label”：“first online”，“组”：{“名称”：“章节历史”，“标签”：“章历史”}}]}}