{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,8,29]]，“日期-时间”：“2024-08-29T09:01:45Z”，“时间戳”：1724922105314}，“参考-计数”：20，“出版商”：“Springer Science and Business Media LLC”，“发行”：“3-4”，“许可证”：[{“开始”：{-“日期部件”：[2007,5,24]]，时间“：”2007-05-24T00:00:00Z“，“timestamp”：117996480000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2007,5,24]]，“date-time”：“2007-05-24T00:00:00Z”，“timetamp”：11.7964800000}、“content-version”：“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-0039-9“，”type“：”journal-article“，”created“：{”date-part“：[[2007，5,23]]，”date-time“：”2007-05-23T18:00:59Z“，”timestamp“：1179943259000}”，“page”：“209-212“，”更新策略“：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：4，“title”：[“有色Petri网的特殊部分”]，“prefix”：“10.1007”，”volume“：”9“，”author“：[{”given“：“Kurt”，“family”：“Jensen”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-pa”rts“：[2007,5,24]]}，”参考“：[{“issue”：“2”，“key”：“39_CR1”，“doi-asserted-by”：“publisher”，”first page”：”183“，”doi“：”10.1016\/0304-3975（94）90010-8“，”volume“：”126“，“author”：“R.Alur”，，“year”：“1994”，“unstructured”：“Alur R.and Dill D.（1994）。时间自动机理论计算。科学.126（2）：183\u2013235“，日志标题”：“理论计算科学.“}，{”键“：”39_CR2“，“非结构化”：“爱丁堡并发工作台主页。http://www.dcs.ed.ac.uk\/home\/cwb\/index.html”}，{“问题”：“2”，“键”：“39_CR3”，“doi-asserted-by”：“出版商”，“首页”：“95”，“doi”：“10.1007\/s100090050020”，“卷”：“二”，“作者”：“K.Jensen”，“年份”：“1998”，“非结构性”：“Jensen K.（ed.）（1998）.关于有色petri网的特别章节。国际期刊软件。技术工具。Transf公司。2（2）：95\u2013191“，“期刊标题”：“国际期刊软件”。技术工具。Transf公司。“}，{”issue“：”4“，”key“：”39_CR4“，“doi-asserted-by”：“publisher”，“first page”：“369”，“doi”：“10.1007\/s100090100066”，“volume”：”3“，”author“：”K.Jensen“，”year“：”2001“，”unstructured“：”Jensen K.（ed.）（2001）。关于高级petri网实际使用的特别章节。Int.J.Softw.Tools Technol.Transf.3（4）：369\u2013430“，”journal-title“：”国际期刊。柔和。技术工具。Transf公司。“｝，｛”键“：”39_CR5“，”非结构化“：”正式系统-FDR2。http://www.formal.demon.co.uk\/FDR2.html“}，{“key”：“39_CR6”，“doi-asserted-by”：“publisher”，“首页”：“231”，“doi”：“10.1016\/0167-6423（87）90035-9”，《卷》：“8”，“author”：“D.Harel”，“年份”：“1987”，“非结构化”：“Harel D.（1987）。状态图：复杂系统的可视化形式主义。科学计算程序.8:231\u2013274”，“新闻标题”：“科学。计算。程序。“}，{”key“：”39_CR7“，”unstructured“：”Hoare，C.A.R.:Communicating Sequential Processes.Prentice-Hall International（1985）“}”，{“key”：“39_CR8”，“unstructure”：“Holzmann，G.J.:The SPIN Model Checker.Addison-Wesley（2003）”}，}“key:”39_CR“，”volume-title“：”彩色Petri网。基本概念。分析方法和实际应用，第1卷，基本概念。理论计算机科学专著”，“作者”：“K.Jensen”，“年份”：“1992年”，“非结构化”：“Jensen K.（1992）。彩色Petri网。基本概念。分析方法和实际应用，第1卷，基本概念。理论计算机科学专著。Springer，Heidelberg“}，{“key”：“39_CR10”，“volume-title”：“有色Petri网.基本概念.分析方法和实际应用，第2卷，分析方法.理论计算机科学专著”，“author”：“K.Jensen”，“year”：“1994”，“unstructured”：“Jensen K.（1994）.彩色Petri网。基本概念。分析方法和实际应用，第2卷，分析方法。理论计算机科学专著。Springer，Heidelberg“}，{“key”：“39_CR11”，“volume-title”：“有色Petri网。基本概念。分析方法和实际应用第3卷，实际应用。理论计算机科学专著”，“作者”：“K.Jensen”，“年份”：“1997”，“非结构化”：“Jensen K.（1997）.彩色Petri网。基本概念。分析方法和实际使用第3卷，实际使用。理论计算机科学专著。Springer，Heidelberg“}，{“key”：“39_CR12”，“unstructured”：“Milner，R.：通信与并发。Prentice-Hall计算机科学国际系列。Prentice-Hall（1989）”}，}，“key“：”39_CR13“，”doi-asserted-by“：”crossref“，”unstructure“：”Milner，R，Tofte，M.，Harper，R.，MacQueen，D.：标准ML的定义（修订）。麻省理工出版社（1997）“，”DOI“：”10.7551\/mitpress\/2319.001.0001“｝，｛”issue“：”1+2“，”key“：”39_CR14“，”DOI asserted by“：”publisher“，”first page“：”134“，”DOI“：”10.1007\/s1009000050010“，”volume“：”1“，”author“：”K.G.Larsen“，”year“：”1997“，”nonstructured“：”Larsen K.G.，Petterson P.and Yi W.（1997）。UppAal简而言之。Int.J.Softw.Tools Technol.Trans.1（1+2）:134\u2013152“，”journal-title“：”《国际期刊》。技术工具。事务处理。“｝，｛”key“：”39_CR15“，”unstructured“：”Rational Rose Tool主页。http:\/\/wwww-306.ibm.com/software\/r理性\/“｝，｛”key“：”39_CR16“，”volume title“：”Petri Nets\u2014引言，EATCS理论计算机科学专著第4卷“，”作者“：”W.Reisig“，”年份“：”1985“，”unstructured“：”Reisig W.（1985）.Petri Nets\u2014引言，EATCS理论计算机科学专著第4卷。Springer，Heidelberg“}，{“key”：“39_CR17”，“unstructured”：“Rumbaugh，J.，Jacobson，I.，Booch，G.：统一建模语言参考手册。Addison-Wesley（1999）”}，“key“：”39_CR18“，”unstructure“：”SPIN Tool主页。http:\\/spinroot.com\/key“：”39_CR20“，”unstructured“：”VisualState主页。http://www.iar.com“}]，“container-title”：[“技术转让软件工具国际期刊”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0039-9.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/article\/10.1007\/s10009-007-0039-9\/fulltext.html“，“content-type”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/s10009-007-0039-9”y检查“}，{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0039-9.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“、”intended-application“：”similarity-checking“}]、”deposed“：{”date-parts“：[2022,5,18]]、”date-time“：“2022-05-18T22:25:05Z”、“timestamp”：1652912705000}、“score”：1、“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/s10009-007-0039-9“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2007,5,24]]}，“引用计数”：20，“日志发布”：{“发布”：“3-4”，“发布-发布”：}“日期部分”：[2007,6]]}}、“替代id”：[“39”]，“URL”：“http://\/dx.doi.org \/10.1007\/s10009-007-0039-9“，”关系“：{}，”ISSN“：[”1433-2779“，”1433-2787“]，“issn-type”：[{“value”：“1433-2779”，“type”:“print”}，{“value”：“433-2787”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2007,5,24]}，“assertion”：[[{”value“：”2007年5月24日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“Article History”，“label”：“文章历史记录”}}]}}