｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,4,28]，“date-time”：“2024-04-28T10:18:22Z”，“timestamp”：1714299502773｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：17，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783540797081”，“type”：“print”｝，｛“value”：“9783540797098”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-79709-8_36“，”type“：”book-capter“，”created“：{”date-parts“：[[2008,5,13]]，”date-time“：”2008-05-13T14:33:17Z“，”timestamp“：1210689197000}，”page“3600-371“，”源“：”Crossref“，”is-referenced-by-count“：2，“title”：[“Using Coloured Petri Nets to Model and Verify Telecommunications Systems”]，“prefix”：“10.1007”，“author”：[{“given”：“Valery”，“family”：“Nepominaschy”，”sequence“：“first”，“affiliation”：[]}，{“给定”：“Dmitry”，“家族”：“Beloglazov”，“sequence”：“additional”，“abliation”，“affiliation”：[]}，{“given”：“Mikhail”，“family”：“Mashukov”，“sequence”：“additional”，“affaliation”:[]}]，“member”：“297”，“reference”：[{“key”：”36_CR1“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：”publisher“，”first page“285”，“doi”：“10.1007\/3-540-45075-0_17”，”“volume-title”：”SDL 2003:系统设计“，”作者“：”A.Aalto“，”年份“：“2003年”，“非结构化”：“阿尔托，A.，Husberg，N.，Varpaaniemi，K.：SDL的自动形式化模型生成和分析。In：里德，R.，里德，J.（编辑）SDL 2003。LNCS，第u00a02708卷，第285\u2013299页。Springer，Heidelberg（2003）“｝，｛“key”：“36_CR2”，“first page”：“1”，“volume”：“144”，“author”：“M.Mashukov”，“year”：“2007”，“nonstructured”：“Mashukov，M.，Churina，T.：通过彩色Petri网建模SDL规范。俄罗斯科学院信息系统研究所，新西伯利亚\u00a0144，1\u201370（预印本，2007）（俄语）”journal-title“：”新西伯利亚俄罗斯科学院信息系统研究所“}，{“issue”：“11”，“key”：“36_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“1616”，“doi”：“10.1109\/26.111443”，“volume”：”39“，“author”：“R.Cohen”，“year”：“1991”，“unstructured”：“Cohen，R.，Segall，A.：高效可靠的环协议。IEEE通信事务处理\u00a039（11），1616\u20131624（1991）“，“日志标题”：“IEEE通信交易”}，{“key”：“36_CR4”，“unstructured”：“Fisher，J.，Dimitrov，E.：使用扩展Petri网验证SDL 1992规范。In：程序。IFIP第15届实习生。交响乐团。关于协议规范、测试和验证，波兰华沙，pp.455\u2013458（1995）“}，{“key”：“36_CR5”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《144》，“doi”：“10.1007\/3-540-69108-1_9”，“volume-title”：《1998年Petri网的应用和理论》，“author”：“H.Fleischback”，“年份”：“1998年”，“非结构化“：”Fleischhack，H.，Grahlmann，B.：SDL的组合Petri网语义。收录：Desel，J.，Silva，M.（编辑）ICATPN 1998。LNCS，卷\u00a01420，第144\u2013164页。Springer，Heidelberg（1998）“}，{”key“：”36_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“102”，”doi“：”10.1007\/BFb0054167“，”volume-title“：“系统构建和分析的工具和算法”，”author“：”B.Grahlmann“，”year“：”1998“，”unstructured“：”Grahlmann，B.：组合有限自动机。收录：Steffen，B.（编辑）ETAPS 1998和TACAS 1998。LNCS，第u00a01384卷，第102\u2013117页。Springer，Heidelberg（1998）“}，{”key“：”36_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“642”，”doi“：”10.1007\/3-540-48119-2_36“，”volume-title“：“FM\u201999-Formal Methods”，“author”：“N.Husberg”，“year”：“1999”，“unstructured”：“Husberg，N.，Manner，T.：Emma：为SDL开发工业可达性分析仪。In:Wing，J.M.，Woodcock，J.C.P.，Davies，J.（编辑）FM 1999。LNCS，卷\u00a01708，第642页\u2013661。Springer，Heidelberg（1999）“}，{”key“：“36_CR8”，”doi-asserted-by“：”publisher“，”first page“：”785“，”doi“：”10.1016\/0169-7552（94）90045-0“，“volume”：“26”，“author”：“K.Imai”，“year”：“1994”，“unstructured”：“Imai，K.，Ito，T.，Kasahara，H.，Morita，N.：异步传输模式环协议。计算机网络和ISDN系统\u00a026，785\u2013798（1994）“，”期刊标题“：”计算机网络和ISDN系统“}，{“key”：“36_CR9”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3642-60794-3”，“volume-title”：“有色Petri网：基本概念、分析方法和实际应用”，“author”：“K.Jensen”，“year”：“1997”，“unstructured”：“Jensen，K.：《有色Petri网：基本概念、分析方法和实际应用》，第\u00a01、2、3卷。Springer，Heidelberg（1997）“}，{”issue“：”10“，”key“：”36_CR10“，”doi-asserted-by“：”publisher“，”first page“：“779”，”doi“：”10.1109\/32.729680“，“volume”：“24”，“author”：“D.O.Keck”，“year”：“1998”，“unstructured”：“Keck，D.O.，Kuehn，P.J.：电信系统中的特性和服务交互问题：一项调查。IEEE传输。软件工程\u00a024（10），779\u2013796（1998）“，”期刊标题“：”IEEE Trans。软件工程“}，{”key“：”36_CR11“，”doi-asserted-by“：”publisher“，”first page“：“61”，”doi“：”10.1109\/PCEE.2002.115202“，”volume-title“：”Proc.Intern.Conf.on Parallel Computing in Electrical Engineering“，”author“：”V.E.Kozura“，“year”：“2002”，“unstructured”：“Kozura，V.E.，Neponminaschy，V.A.，Novikov，R.M.：验证由高级Petri网建模的分布式系统。In：程序。实习生。电气工程并行计算会议，波兰华沙，第61\u201366页。IEEE组件。Society，Los Alamitos（2002）“｝，{“issue”：“2”，“key”：“36_CR12”，“doi asserted by”：“publisher”，“first page”：“98”，“doi”：“10.1007\\s100090050021”，“volume”：“2”，“author”：“L.M.Kristensen”，“year”：“1998”，“nonstructured”：“Kristensen，L.M.，Christensen，S.，Jensen，K.：彩色Petri网的从业者指南。Internat.J。技术转让软件工具\u00a02（2），98\u2013132（1998）“，”期刊标题“：”国际。J.技术转让软件工具“}，{“key”：“36_CR13”，“unstructured”：“Nakamura，M.：电信服务中特征交互检测高效算法的设计与评估。大阪大学博士论文（1999年1月）”}，}，“key“：”36_CR14“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“303”，“DOI”：“10.1007\/978-3-540-74510-5_31”，“卷标题”：“计算机科学\u2013理论与应用”，“作者”：“V.A.Neponiaschy”，“年份”：“2007”，“非结构化”：“Neponiaschy，V.A.，Alekseev，G.I.，Argirov，V.S.，Beloglazov，D.M.，Bystrov，A.V.，Chetvertakov，E.A.，Churina，T.G.，Mylnikov，S.P.，Novikov，R.M.：应用改进的有色Petri网对SDL指定的通信协议进行建模和验证。In:Diekert，V.，Volkov，M.V.，Voronkov，A.（编辑）CSR 2007。LNCS，第u00a04649卷，第303\u2013314页。Springer，Heidelberg（2007）“}，{”key“：”36_CR15“，”首页“：”79“，”volume-title“：”Proc.3rd Intern.Conf.on Formal Engineering Methods“，”author“：”H.Peng“，”year“：”2000“，”unstructured“：”Peng，H.，Tahar，S.，Khendek，F.：SPIN vs。VIS：ATMR协议形式验证的案例研究。In：程序。第三期实习生。形式工程方法会议，第79页\u201387。IEEE组件。Society，Los Alamitos（2000）“}，{”key“：”36_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“450”，”doi“：”10.1007\/3-540-44919-1_28“，”volume-title“：“Petri网的应用与理论2003”，”author“：”A.V.Ratzer“，“year”：“2003”，“unstructured”：“Ratzer，A.V.、Wells，L.、Lassen，H.M.、Laursen，M.、Qvortrup，J.F.、Stissing，M.S.、Westergaard，M.，Christensen，S.、Jensen，K.：用于编辑、模拟和分析有色Petri网的CPN工具。收录人：van der Aalst，W.M.P.，Best，E.（编辑）ICATPN 2003。LNCS，第u00a02679卷，第450\u2013462页。Springer，Heidelberg（2003）“}，{“key”：“36_CR17”，“unstructured”：“Specification and Description Language（SDL）.Recommendation，Z.100，CCITT（1992）”}]，“container-title”：[“Computer Science\u2013 Theory and Applications”，“Teach Notes in Computer Science”]，“original-title“：[]，“Language”：“en”，“link”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-79709-8_36.pdf“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,4,27]]，“date-time”：”2021-04-27T11:28:53Z“，“timestamp”：1619522933000}，“score”：1，“resource”：{“primary”:{“URL”：“http://\/link.springer.com//10.1007\/978-3-540-79709-8_36“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[null]]}，“ISBN”：[“9783540797081”，“978354797098”]，”引用计数“：17，”URL“http://\/dx.doi.org\/10.1007\/978-3540-79709/8_36”，“关系”：{}，“：[]}}”