{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:16:34Z”，“时间戳”：1725664594030}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 540602224“}，{”类型“：”电子“，“value”：“9783540447542”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1995]]}，”DOI“：”10.1007\/3-540-60222-4_111“，”type“：”book-chapter“，”created“：{”date-ports“：[2012,26]]，”date-time“：”2012-02-26T12:54:06Z“，”timestamp“：1330260846000}，”page“：”219-233“，”source“：“Crossref”，“is-referenced-by-count”：4，“title”：[“COVERS\u2014实时并发系统设计工具”]，“prefix”：“10.1007”，“author”：[{“given”：“A.V.”、“family”：“Borshchev”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Yu.G.”，“families”：“Karpov”，“serquence”:“additional”，“atriation”：[]}、{“fixed”：“V.V”，“家族”：“Roudakov”，“sequence”：“附加”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,6,3]]}，“reference”：[{“key”：“21_CR1”，“doi-asserted-by”：“crossref”，”非结构化“：”R.Alur和T.A.Henzinger.实时逻辑和模型.A Survey.LNCS，1992.“，”doi“：”10.1007\/BFBb0031988“}，{”key“：”21_CR2“，”非结构“：“Bones Designer.建模参考指南.版本2.6。Comdisco Systems，Cadence Design Systems，Inc.USA的一个业务部门，1993年。“}，{“volume-title”：“参考手册”，“年份”：“1991年”，“作者”：“设计CPN”，“密钥”：“21_CR3”，“非结构化”：“Design CPN.a参考手册，1.75版。Meta Software Corporation，USA，1991.“}，{”issue“：”No.3“，”key“：”21_CR4“，”doi-asserted-by“：”crossref“，”first page“：“231”，“doi”：“10.1016\/0167-6423（87）90035-9”，“volume”：“8”，“author”：“D.Harel”，“year”：“1987”，“unstructured”：“D。哈雷。状态图：复杂系统的可视化形式主义。《计算机编程科学》，第8卷，第3期，1987年6月，第231\u2013274页。“，“期刊标题”：“计算机编程科学”}，{“期刊”：“第4期”，“关键字”：“21_CR5”，“doi-asserted-by”：“crossref”，“首页”：“403”，“doi”：“10.1109\/32.54292”，“卷”：“16”，“作者”：“D.Harel”，“年份”：“1990”，“非结构化”：“D.Harel，H.Lachover，A.Naamad，A.Pn M.尤利。Politi、R.Sherman、A.Shtull-Trauring和M.Trakhtenbrot。STATEMATE：复杂反应系统开发的工作环境。《IEEE软件工程学报》，第16卷，第4期，1990年4月，第403\u2013414页。普努利。定时过渡系统。技术报告TR 92-1263，康奈尔大学计算机科学系，1992年1月。帕默。数据资源+事务建模应用于简单网络问题的示例。美国科学与工程软件公司，1992年3月。“}，{“volume-title”：“用户手册”，“年份”：“1992”，“作者”：“SES Workbench”，“key”：“21_CR8”，“非结构化”：“SES Workbench.用户手册.2.1版。美国科学与工程软件公司，1992年。“}”，“container-title”：[“计算机科学讲义”，“并行计算技术”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-60222-4_111.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}]，“存放”：{“日期部分”：[[2020,11,17]]，“日期时间”：“2020-11-17T15:56:18Z”，“时间戳”：1605628578000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/3-540-60222-4_111”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1995]]}，ISBN“：[”9783540602224“，”978354447542“]，”references-count“：8，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-60222-4_111“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”date-parts“：[[1995]]}}}}