{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,4,5]]，“日期-时间”：“2022-04-05T14:43:20Z”，“时间戳”：1649169800108}，“参考-计数”：14，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1”，“许可证”：[{“开始”：{-date-parts“：[[2007,9,26]]，”日期-时间“：”2007-09-26T00:00:00Z“，“timestamp”：1190764800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Int J Softw Tools Technol Transf“]，”published-print“：{”date-parts“：[[2008,1]]}”，“DOI”：“10.1007\/s10009-007-0053-y“，”type“：”journal-article“，”created“：{“日期部分”：[[2007,9,25]，“日期-时间”：“2007-09-25T05:51:51Z”，“时间戳”：11906995511000}，“页面”：“5-14”，“来源”：“Crossref”，“被计数引用”：12，“标题”：[“基于模型的行动计划工具开发”]，“前缀”：“10.1007”，“卷”：“10”，“作者”：[{“给定”：“Lars M.”，“家族”：“Kristensen”，“序列”：“第一个”，“隶属关系”：[]}，{“given”：“Peter”，“family”：“Mechlenborg”，“sequence”：“additional”，“affiliation”：[]}，{“fixed”：“Lin”，”family“：”Zhang“，”sequence“：”additional“，”affiliance“：[]neneneep，{”given“：”Brice“，”faily“：“Mitchell”，《sequence》：“additive”，“abfiliation“：[]}》，{《given》：“Guy E.”，“家族”：“Gallasch”，，“成员”：“297”，“在线发布”：{“date-parts”：[[2007,9,26]]}，“reference”：[{“key”：“53_CR1”，“doi-asserted-by”：“crossref”，”非结构化“：“Amnell，T.，Fersman，E.，Mokrushin，L.，Pettersson，P.，Yi，W.：Times\u2014A tool for modeling and implementation of embedded systems。In:Proceedings of TACAS\u201902，LNCS，vol.2280，pp.460\u2013464（2002）”，“doi”：“10.1007\/3-540-46002-0_32”}，{“key”：“53_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Edelkamp，S.：Promela planning。In:Proceedings of SPIN\u201903，LNCS，vol.2648，pp.197\u2013212（2003）”，“doi”：“10.1007\/3-540-44829-2_13”}，{：“Gallasch，G.，Kristensen，L.M.：通信CPN：与设计CPN进行外部通信的通信基础设施。摘自：第三次研讨会论文集和彩色Petri网和CPN工具的实际使用教程，第79页，u201393。奥胡斯大学计算机科学系，2001年。DAIMI PB-554“}，{“key”：“53_CR4”，“volume-title”：“自动规划：理论与实践”，“author”：“M.Ghallab”，“year”：“2004”，“unstructured”：“Ghallab-M.，Nau D.和Traverso P.（2004）。自动化规划：理论和实践。Elsevier，Amsterdam”}，}，“key“：”53_CR5“，“doi-asserted-by”：“crossref”，“非结构化”：“Jensen，K.：彩色Petri网\u2014基本概念、分析方法和实际应用，第1卷\u20133。Springer，Heidelberg（1992\u20131997）“，”DOI“：”10.1007\/978-3662-06289-0_1“}，{”issue“：”2“，”key“：”53_CR6“，”DOI-asserted-by“：”crossref“，”first page“：“98”，“DOI”：“10.1007\/s100090050021”，“volume”：“2”，“author”：“L.M.Kristensen”，“year”：“1998”，“unstructured”：“Kristenson L.M.，Christensen S.and Jensen K.（1998）.从业人员\u2019彩色Petri网指南。国际期刊软件。技术工具。Transf 2（2）：98\u2013132“，“期刊标题”：“国际期刊软件”。技术工具。Transf“}，{”key“：”53_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Kristensen，L.M.，J\u00f8rgensen，J.B.，Jensen，K.：有色petri网在系统开发中的应用。摘自：《并发与petri网讲座》，LNCS，第3098卷，第626\u2013686页。Springer，Heidelberg（2004）“，“DOI”：“10.1007\/978-3-540-27755-2_18”}，{“key”：“53_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kristensen，L.M.，Mailund，T.：使用外部存储的扫线方法进行有效路径查找。In:Proceedings of ICFEM\u201903，LNCS，vol.2885，pp.319\u2013337（2003）”，“DOI:”10.1007\/778-3540-39893-6_19“}，{“key”：“53_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Rasmussen，J.I.，Larsen，K.G.，Subramani，K.：使用定价时间自动机的资源优化调度。收录于：TACAS\u201904，LNCS，第2988卷，pp.220\u2013235，Springer，Heidelberg（2004）”，“doi”：“10.1007\/978-3-540-2730-2_19”}，{”key“：”53_CR10“，”doi-assert-by“：“cross-ref”，“非结构化”：“Sch\u00e4tz，B.：基于模型的开发：结合工程方法和形式技术。In:Proceedings of ICFEM\u201904，LNCS，vol.3308，pp.1\u20132（2004）”，“DOI”：“10.1007\/978-3-540-30482-1_1”}，{“key”：“53_CR11”，“volume-title”：“ML编程元素”，“author”：“J.D.Ullman”，“year”：“1998”，“非结构”：“Ullman J.D.（1998）。ML编程的要素。Prentice-Hall，Englewood cliffs”}，{“key”：“53_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Valmari，A.：状态爆炸问题。In:《Petri网讲座I：基本模型》，LNCS，第1491卷，第429\u2013528页，Springer，Heidelberg（1998）”，“doi”：“10.1007\/3-540-65306-6_21”}，“非结构化”：“Zhang，L.，Kristensen，L.M.，Janczura，C.，Gallasch，G.，Billington，J.：基于彩色Petri网的行动方案开发和分析工具。摘自：《国防系统应用形式方法研讨会论文集》，CRPIT，第12卷，pp.125\u2013134。澳大利亚计算机学会（2001）“}，{”key“：”53_CR14“，”unstructured“：”Zhang，L.，Kristensen，L.M.，Mitchell，B.，Janczura，C.，Gallasch，G.，Mechlenborg，P.：COAST\u2014行动方案制定和分析的作战规划工具。摘自：第九届国际指挥与控制研究与技术研讨会论文集（2004）“}]，”container-title“：[“国际技术转让软件工具杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0053-y.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“URL”：“http:\/\/link.springer.com/article\/10.1007\/s10009-007-0053-y\/fulltext.html“，”content-type“：”text\/html“，”内容-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/s10009-007-0053-y“，”content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“”相似性检查“}]，”deposited”：｛“日期部分”：[[2019,5,29]，“日期时间”：“2019-05-29T07:25:23Z”，“时间戳”：1559114723000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/s10009-007-007-0053-y”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2007,9,26]]｝，“引用次数”：14，“期刊发行”：｛“发行”：“1“，”已发布的打印“：｛”date-parts“：[[2008,1]]}}，”alternative-id“：[”53“]，”URL“：”http://\/dx.doi.org\/10.1007\/s10009-007-0053-y“，”relation“：{}，“ISSN”：[“1433-2779”，“1433-2787”]，“ISSN-type”：[{“value”：“1433-21779”，”type“：”print“}，{“value”：”1433-2787'，“type”“：”electronic“}]，”subject“：[]，”已发布“：{”日期部分“：[[2007,9,26]]}}