{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,9,13]]，“日期-时间”：“2024-09-13T22:20:06Z”，“时间戳”：1726266006169}，“参考-计数”：41，“出版商”：“Springer Science and Business Media LLC”，“发行”：“3-4”，“许可证”：[{“开始”：{--“日期-零件”：[[2007,3,13]，“date-time”“：”2007-03-13T00:00:00Z“，“timestamp”：1173744000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2007,3,13]]，“date-time”：“2007-03-13T00:00:00Z”，“timetamp”：“117374400000}，”content-versiion“：”vor“，”delay-in-days“：0，”URL“https:\\/www.spring.com\/tdm“}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Int J Softw Tools Technol Transfer”]，“published-print”：{“date-parts”：[[2007,6]]}，”DOI“：”10.1007\/s10009-007-007-0038-x“，”type“：”journal-article“，”created“：{”date-part“：[2007,3,21]]，”date-time“：”2007-03-21T11:56:08Z“，”timestamp“：1174478168000}，54“，”更新策略“：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：712，“title”：[“用于并发系统建模和验证的有色Petri网和CPN工具”]，“prefix”：“10.1007”，”volume“：”9“，”author“：[{”given“：“Kurt”，”family“：”Jensen“，”sequence“：”first“，”affiliation“：[]}，{”given“Lars Michael”，“家庭”：“Kristensen”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Lisa”，“family”：“Wells”，“serquence”:“additionable”，“ffiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2007,3,13]]}；“reference”：[{“key”：”38_CR1“，“volume-title”：“嵌入式控制系统的设计”，“年份”：“2005”，“unstructured”：“Adamski，M.A.，Karatkevich，A.，Wegrzyn，M.（eds）.（2005）.嵌入式控制系统设计.Springer，Berlin”}，{“key”：“38_CR2”，“unstructured”：“Andrad\u00f3ttir，S.：仿真优化.In:Banks[3]，Chapter 9”}、{“key”：”38_CR3“volume-title”：“仿真手册”，“年份”：“1998”，“非结构化”：“Banks，J.（ed.）：（1998）仿真手册。Wiley，New York“}，{“key”：“38_CR4”，“unstructured”：“Billington，J.:ISO\/IEC 15909-1:2004软件和系统工程。高级Petri网，第1部分：概念、定义和图形符号，2004”}，“{”key“：”38_CR5“，“volume-title”：“Petri网在通信网络中的应用，第1605卷”，“年份”：“1999”，“非结构化”：“Billington，J.、Diaz，M.、Rozenberg，G.（编辑）：（1999年）。Petri网在通信网络中的应用，第1605卷。Springer，Berlin“}，{“key”：“38_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Billington，J.，Gallasch，G.E.，Han，B.：协议验证的有色Petri网方法。In：Desel，J.、Reisig，W.、Rozenberg，G.（eds.）并发和Petri网讲座。Petri网的进展。摘自：《第四期Petri网高级课程论文集》，《计算机科学讲义》，第3018\u00a0pp卷。210\u2013290。Springer，Berlin（2004）“，”DOI“：”10.1007\/978-3-540-27755-2_6“}，{“key”：“38_CR7”，“unstructured”：“BRITNeY Suite.http:\/\/www.wiki.daimi.au.dk\/BRITNeY\/”}，“key“：”38_CR8“，”DOI-asserted-by“：”crossref“，”unstructure“：”Cheng，A.，Christensen，S.，Mortensen，K.H.：利用强连通组件的模型检查有色Petri网。摘自：《离散事件系统国际研讨会论文集》，第169\u2013177页（1996）“，“DOI”：“10.7146\/dpb.v26i519.7048”}，{“key”：“38_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Christensen，S.、Kristensen、L.M.、Mailund，T.：定时Petri网的凝聚状态空间。摘自：Petri网应用和理论国际会议论文集。计算机科学课堂讲稿，第2075\u00a0pp卷。101\u2013120。Springer，Berlin（2001）“，”DOI“：”10.1007\/3-540-45740-2_8“}，{”key“：”38_CR10“，”unstructured“：”CPN Tools.：http://www.daimi.au.dk\/CPNTools\/“”}，“key”：“38_CR11”，“unstructure”：“Desrochers，A.A.，Al-Jaar，R.Y.：Petri网在制造系统中的应用：建模、控制和性能分析。IEEE，（1994）“}“”非结构化”：“CP网络的工业应用示例。http:\/\/www.daimi。au.dk\/CPnets\/intro\/example_indu.html“}，{“key”：“38_CR13”，“unstructured”：“Gallasch，G.E.，Kristensen，L.M.：COMMS\/CPN:A Communication Infrastructure for External Communication Imfrastructures with Design\/CPN.In:第三次研讨会论文集和彩色Petri网和CPN工具实际使用教程，DAIMI PB-554，pp.75\u201391。丹麦奥胡斯大学计算机科学系（2001）“｝，｛“key”：“38_CR14”，“nonstructured”：“Gnuplot.：http:\/\/www.nuplot.info”｝，｛“key”：“38_CR15”，“nonstructured”：“ITU（CCITT）：建议Z.120:MSC.技术报告，国际电信联盟，1992”｝，｛“key”：“38_CR16”，“卷标题”：“彩色Petri网。基本概念、分析方法和实际应用。基本概念，第1卷，“作者”：“K.Jensen”，“年份”：“1992年”，“非结构化”：“Jensen K.（1992）。彩色Petri网。基本概念、分析方法和实际应用。《基本概念》，第1卷。Springer，Berlin“}，{“key”：“38_CR17”，“volume-title”：“彩色Petri网。基本概念、分析方法和实际应用。分析方法，第2卷”，“作者”：“K.Jensen”，“年份”：“1994”，“非结构化”：“Jensen K.（1994）。彩色Petri网络。基本概念，分析方法和实用。分析方法。第2卷。Springer，Berlin“}，{“key”：“38_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Jensen，K.系统设计中对称着色Petri网形式化方法的凝聚状态空间，第9卷，（1996）”，“doi”：“10.1007\/BF00625667”}彩色Petri网。基本概念、分析方法和实际应用。实际使用，第3卷，“作者”：“K.Jensen”，“年份”：“1997年”，“非结构化”：“Jensen K.（1997）。彩色Petri网。基本概念、分析方法和实际应用。实际使用，第3卷。Springer，Berlin“}，{“key”：“38_CR20”，“unstructured”：“Jensen，K.，Kristensen，L.M.：有色Petri网。并发系统的建模和验证。Springer教科书（准备中）指南网站：www.daimi.au.dk \/CPnets\/cpnbook.”}，}Kelton，W.D.，Sadowski，R.P.，Sadoowski，D.A.：《竞技场模拟》，第二版。McGraw-Hill，（2002）“}，{”key“：”38_CR22“，”unstructured“：”Kleijnen，J.P.C.：仿真模型敏感性分析、优化和验证的实验设计。In：Banks[3]“}”，{“issue”：“2”，“key”：“38_CR23”，“doi-asserted-by”：“publisher”，“first page”：”98“，“doi”：“10.1007\/s100090050021”，“volume”：《2》，“author”：“L.M.Kristensen”，《年份》：“1998”，“非结构化”：Kristensen L.M.、Christensen S.和Jensen K.（1998）。执业者\u2019s有色Petri网指南。国际期刊软件。技术工具。Transf公司。2（2）：98\u2013132“，“期刊标题”：“国际期刊软件”。技术工具。Transf公司。“}，{”key“：”38_CR24“，”doi-asserted-by“：”crossref“，”unstructured“：”Kristensen，L.M.，J\u00f8rgensen，J.B.，Jensen，K.：有色Petri网在系统开发中的应用。在：并发和Petri网讲座。Petri网的进展。第四期Petri网高级课程论文集。计算机科学课堂讲稿，第3098卷，第626\u2013685页。Springer，Berlin（2004）“，“DOI”：“10.1007\/978-3-540-27755-2_18”}，{“key”：“38_CR25”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kristensen，L.M.，Mailund，T.：安全特性的广义扫线方法。摘自：《欧洲形式方法学报》，计算机科学讲稿，第2391卷，第549\u2013567页。施普林格，柏林（2002）”，“DOI”：“10.1007\/3-5456-45614-7_31”}，｛“key”：“38_CR26”，“DOI断言”：“crossref”，“非结构化”：“Kristensen，L.M.，Valmari，A.：在不展开的情况下寻找顽固的有色Petri网集。摘自：Petri网应用和理论国际会议论文集。计算机科学课堂讲稿，第1420卷，第104\u2013123页。Springer，Berlin（1998）“，“DOI”：“10.1007\/3-540-69108-1_7”}，{“key”：“38_CR27”，“unstructured”：“Law，A.M.，Kelton，W.D.:Simulation Modeling and Analysis，3rd edn.McGraw-Hill，（2000）”}“，{”key“：”38_CR28“，”DOI-asserted-by“：”crossref“，”unstructure“：”Mortensen，K.H.：彩色Petri网模拟器的高效数据结构和算法。收录于：《第三次研讨会论文集和彩色Petri网和CPN工具的实际使用教程》，2001年，“DOI”：“10.7146\/dpb.v31i560.7117”}，{“key”：“38_CR29”，“unstructured”：“Object Management Group。Unified Modeling Language：Superstructure，version 2.0，formal\/05-07-042005”}Petri网和其他并发模型的应用和理论国际会议论文集。Springer，Berlin 1980\u2013present“}，{”key“：”38_CR31“，”unstructured“：”对象、组件和代理建模研讨会论文集，2001\u2013prosent“，{“key”：“38_CR32”，“unstructure”：“有色Petri网和CPN工具的实际使用研讨会论文集”，1998\u2013persent。http://www.daimi.au.dk\/CPnets\/“}”，{38_CR33“，”卷时间“：”Petri网。EATCS理论计算机科学专著，第4卷”，“作者”：“W.Reisig”，“年份”：“1985”，“非结构化”：“Reisig W.（1985）。Petri网。EATCS理论计算机科学专著，第4卷。Springer，Berlin“}，{“key”：“38_CR34”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3662-03687-7”，“volume-title”：“分布式算法的元素：用Petri网建模和分析”，“author”：“W.Reisig”，“year”：“1998”，“unstructured”：“Reisig W.（1998）分布式算法的要素：用Petri网建模和分析。Springer，Berlin“}，{“key”：“38_CR35”，“unstructured”：“SceneBeans.http:\\/www.dse.doc.ic.ac.uk\/Software\/SceneBeans\/”}，}，“key“：”38_CR36“，”unstructure“：”新泽西州标准ML。http://www.smlnj.org“：”Ullman J.D.（1998）.ML编程的元素。Prentice-Hall，Englewood Cliffs“}，{“key”：“38_CR38”，“doi-asserted-by”：“crossref”，“unstructured”：“Valmari，A.：状态爆炸问题。In:Petri网讲座I：基本模型。计算机科学讲座笔记，第1491\u00a0pp.429\u2013528卷。Springer，Berlin（1998）“，”DOI“：”10.1007\/3-540-65306-6_21“}，{”key“：”38_CR39“，”volume-title“：”工作流管理：模型、方法和系统“，”author“：”W.van der Aalst“，”year“：”2002“，”unstructured“：”Aalst W.和Hee K.（2002）。工作流管理：模式、方法和体系。麻省理工学院出版社，马萨诸塞州剑桥“}”，{“key”：“38_CR40”，”DOI-asserted-by“：”crossref“，”unstructured“：”Westergaard，M.，Lassen，K.B.：BRITNeY Suite动画工具。摘自：第27届Petri网和其他并发模型应用和理论国际会议论文集。计算机科学课堂讲稿，第4024\u00a0pp卷。431\u2013440。Springer，Berlin（2006）“，“DOI”：“10.1007\/11767589_26”}，{“key”：“38_CR41”，“DOI-asserted-by”：“crossref”，“DOI:”10.1007\/9781-4757-3143-9“，“volume-title”：“Hardware Design and Petri Nets”，“author”：“A.Yakovlev”，“year”：“2000”，“unstructured”：“Yakovler A.，Gomes L.and Lavagno L.（2000）.Hardwares Design and Petri-Nets.Springer（柏林）”}]，“container-title“：[“国际技术转让软件工具杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0038-x.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/article\/10.1007\/s10009-007-0038-x\/fulltext.html“，“内容类型”：“文本\/html”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com\/content\/pdf\/10.10007\/s10009-007-0038-x”，“content-type”：“未指定”，“content-version”：“vor”，“intended-aapplication”y检查“}，{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0038-x.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,5,18]]，”date-time“：“2022-05-18T02:43:28Z”，”timestamp“：1652841808000}，”score“：1，”resource“：”{“primary”：{“URL“：”https:\/\/link.springer.com/10.1007\/s10009-007-0038-x“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2007,3,13]]}，“引用计数”：41，“日志发布”：{“发布”：“3-4”，“发布-发布”：}“日期部分”：[2007,6]]}}、“替代id”：[“38”]，“URL”：“http://\/dx.doi.org \/10.1007\/s10009-007-0038-x“，”关系“：{}，”ISSN“：[”1433-2779“，”1433-2787“]，“issn-type”：[{“value”：“1433-2779”，“type”:“print”}，{“value”：“433-2787”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2007,3,13]]}，“assertion”：[[{”value“：”2007年3月13日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“Article History”，“label”：“文章历史记录”}}]}}