{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T04:44:42Z”，“时间戳”：1648701882287}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540602224”，“类型”：“打印”}，{“值”：“9783540447542”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1995]]}，”DOI“：”10.1007\/3-540-60222-4_100“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T17:53:19Z“，”时间戳“：1330278799000}，”页面“：”94-108“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“Estell-specified通信协议的Petri网建模”]，“prefix”：“10.1007”，”author“：[{”given“：”V.A.“，”family“：”Nepominaschy“，”sequence“：”first“，”affiliation“：[]}，{”给定“：”G.I.“，”家族“：”Alekseev“，”序列“：”additional“，”从属关系“：[]}，“给定”：”A.V.“，“家族”：“Bystrov”，“序列”：“additional”，“affiliation”：[]}，{“given”：“T.G.”，“family”：“Churina”，“sequence”：“additive”，“abfiliation“：[]{”given“：”S.P.“，”family“：”Mylnikov“，”sequence“：”additional：{“日期部分”：[[2005,6,3]]}，“参考”：[{“key”：“10_CR1”，“unstructured”：“Alekseev，G.I.et al.：基于Petri网的并发系统规范、分析和仿真环境。In：并发系统的规范、验证和网络模型。新西伯利亚，1994，116\u2013127。”}，{“key”：《10_CR2》，“first page”：，“非结构化”：“Algayres，B.et al.：VESAR:正式规范和验证的程序方法。计算机网络25（1993）779\u2013790.”，“日志标题”：“计算机网络”}，{“密钥”：“10_CR3”，“非结构”：“Alkhechi，A.B.，Budkowski，S.：时间Petri网到Estelle描述的自动转换。In:Proc.Intern.Conf.on Formal description Techniques III.North-Holland 1991，369\u2013376.”}，{“key”：“10_CR4”，“first page”：”3“，“volume”：：“14”，“author”：“S.Budkovski”，“year”：“1988”，“unstructured”：“Budkowski，S.，Dembinski，P.：Estelle:分布式系统规范语言简介。计算机网络14（1988）3\u201323.”，“日志标题”：“计算机网络”}，{“key”：“10_CR5”，“首页”：“83”，“卷”：“25”，“作者”：“J.P.Courtiat”，“年份”：“1992”，“非结构化”：“Courtiat，J.P.，de Saqui Sannes，P.:ESTIM:Estelle.Computer Networks 25（1992）83\u201398.”，“期刊标题”：“计算机网络”}，｛“密钥”：“10_CR6”，“doi断言”：“crossref”，“首页”：“169”，“doi”：“10.1007\/3-540-556689-9_44”，“卷”：“674”，“作者”：“F。Feldbruge，“年份”：“1993年”，“非结构化”：“Feldbrucge，F.：Petri网工具pvervier 1992。《计算机科学讲义》674（1993）169\u2013209.“，”journal-title“：”计算机科学讲稿“}，{“key”：“10_CR7”，“unstructured”：“Holzmann，G.J.：计算机协议的设计和验证。1991。”}，“key“：”10_CR8“，”doi-asserted-by“：”crossref“，”first-page:“230”，“doi”：“10.1007 \/3-540-58043-3_21”，“volume”：”803“，”author“：”K.Jensen“，”年”：“1994年”，“非结构化”：“Jensen，K.：有色Petri网理论方面的介绍。《计算机科学讲义》803（1994）230\u2013272.“，“期刊标题”：“计算机科学讲稿”}，{“key”：“10_CR9”，“unstructured”：“Marchena，S.，Leon，G.：从LOTOS规范到Galileo网的转换。in:形式描述技术实习生Conf.I.North-Holland 1989，217\u2013230.”}Miller，R.E.：协议验证：前十年，后十年；一些个人观察。程序。IFIP实习生。协议规范、测试和验证研讨会X.North-Holland 1990，199\u2013225.“}，{”key“：”10_CR11“，”unstructured“：”Richier，J.L.、Rodriguz，C.、Sifakis，J.、Voiron，J.：在Xesar中验证滑动窗口协议。In：程序。IFIP内部。协议规范、测试和验证研讨会VII。North-Holland 1987，235\u2013248。“}，{”key“：”10_CR12“，”doi-asserted-by“：”crossref“，”first page“：“417”，“doi”：“10.1145\/129393.129394”，“volume”：“14”，“author”：“A.U.Shankar”，“year”：“1992”，“unstructured”：“Shankar，A.U.，Lam，S.S.S.：协议构建的逐步细化启发法。《ACM编程语言和系统学报》14（1992）417\u2013461.“，”journal-title“：”ACM Transactions on Programming Languages and Systems“}，{”key“：”10_CR13“，”first page“：“99”，“volume”：“1”，“author”：“N.V.Stenning”，“year”：“1976”，“unstructured”：“Stenning，N.V.：一种数据传输协议。Computer Networks 1计算机科学课堂讲稿”，“并行计算技术”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-60222-4_100.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,4,28]]，“date-time”：2021-04-28T01:33:52Z“，”timestamp“：1619573632000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-60222-4_100”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1995]]}，《ISBN》：[“9783540602224”，“9783547542”]，“references-count”：13，“URL”http://\/dx.doi.org\/10.1007\/3-540-60222-4_100“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN类型“：[｛”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：”date parts“：[[1995]]｝｝｝