{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,6,28]]，“日期-时间”：“2023-06-28T14:12:25Z”，“时间戳”：1687961545313}，“参考-计数”：17，“出版商”：“Allerton出版社”，“问题”：“7”，“许可证”：[{“开始”：{“日期-零件”：[2012,12]]，“时间”：”2012-12-01T00:00:00Z“，”时间戳“：135432000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“Aut.Control Comp.Sic.”]，“published-print”:{“date-parts”：[[2012,12]}，”DOI“：”10.3103\/s01464112070061“，”type“journal-article”“，”created“：{”date-parts“：[[2013,1,6]]，”date-time“：“2013-01-06T06:10:54Z”，“时间戳”：1357452654000}，“页面”：“387-393”，“源代码”：“Crossref”，“is-referenced-by-count”：1，“标题”：[“使用有色Petri网使用通信有限状态自动机验证指定的电信系统”]，“前缀”：“10.3103”，“卷”：“46”，“作者”：[{“给定”：“D.M.”，”“系列”：“Beloglazov”，“序列”：“first”，“affiliation”：[]}，{“given”：“M.Yu.”，“family”：“Mashukov”，“sequence”：“additional”，“affaliation”:[]}.，{”given“：”V.A.“，”family“：”Nepomnyashchiy“，”sequence“：”additional“，”affiliation:[]}]，“member”：“1627”，“published-on-line”：{“date-parts”：[[2013,1,7]]}“reference”：[{“issue”：“2”，“key”：”6226 _CR1“，”首页“：”4“，”卷“：”13“，”作者“：”R.A.Vinogradov“，“年份”：“2006”，“非结构化”：“Vinogradov，R.A.，Kuz\u2019min，E.V.和Sokolov，V.A.，CPN Tools的自动机程序验证，Model.Analiz Inf.Sist.，2006，第13卷，第2期，第4\u201315.”，“期刊标题”：“Model.Analiz Inf.Sist.”}，｛“问题”：“1”，“密钥”：“6226_CR2”，“doi断言者”：“crossref”，“首页”：“27”，“doi”：“10.1134\/S036176880801040”，“volume”：“34”，“author”：“E.V.Kuz\u2019min”，“year”：“2008”，“unstructured”：“Kuz\u 2019min，E.V.and Sokolov，V.A.，《自动化程序的建模、规范和验证》，Program.Comput.Software，2008年，第34卷，第1期，第27\u201343页。”，“日志标题”：“Program.Cumput.Software”}，{“issue”：“5”，“key”：”6226_CR3“，“doi-asserted-by”：“crossref”，“first page”：“260”，”doi“：”10.1023\/A:1012392927006“，”volume“：”27“，”author“：”A.A.Shalyto“，”year“：”2001“，”unstructured“：”Shalyto，A.A.and Tukkel\u2019，N.I.，SWITCH-Technology:An Automated Approach to Development Software for Reactive Systems，Program.Comput.Software，2001，vol.27，no.5，pp.260\u2013276.“，“journal-title”：“Program.Comput.Software”}，{“key”：“6226_CR4”，“doi-asserted-by”：“crossref”，“首页”：“70”，“doi”：“10.1007\/978-3642-11486-1_7”，“卷”：“5947”，“作者”：“D.Beloglazov”，“年份”：“2010”，“非结构化”：“Beloglazov，D.和Nepominaschy，V.，《电信系统建模和验证的两级方法》，Proc.PSI-2009；Lect.Notes Compute.Sci.，2010，第5947卷，第70\u201385页。”，“日志标题”：“Proc.PSI-2009；Lect.Notes compute.Sci”}，{“key”：“6226_CR5”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“10.1007”/BFBb009771”，“volume”：“1605”，“author”：“C.Capelmann”，“year”：“1999”，“unstructured”：“Capellmann，C.，Dibold，H.，and Herzog，U.，《在智能网络领域使用高级Petri Mets》，《Lect.Notes Compute.Sci.》，1999年，第1605卷，第1\u201336页。”，“journal-title”：“Lect.Nots Compute.Sci.”}，{“key”：“”，“DOI”：“10.1007\/3-540-36103-0_38”，“volume”：“2495”，“author”：“A.Cavalli”，“year”：“2002”，“unstructured”：“Cavalli，A.和Maag，S.，《服务交互检测的新算法》，Proc.ICFEM-2002；Lect.Notes Compute.Sci.，2002，vol.2495，pp.371\u2013382.”，“journal-title”：“Proc.ICFE-2002；Lect.Notes Compute.Sic.”}，{“issue”：“11”，“key”：“6226_CR7”，“doi-asserted-by”：“crossref”，“first page”：“1616”，“doi”：“10.1109\/26.111443”，“volume”：”39“，“author”：“R.Cohen”，“year”：“1991”，“unstructured”：“Cohen，R.and Segall，A.，《高效可靠环协议》，IEEE Trans.Comm.，1991年，第39卷，第11期，第1616\u20131623页。“，”doi-asserted-by“：“crossref”，“unstructured”：“Gibson，P.，Hamilton，G.，and Mery，D.，《电话功能需求中的集成问题》，《集成形式方法国际会议论文集》（IFM-99），约克，1999年，第129\u2013148页。”，“DOI”：“10.1007\/978-1-4471-0851-1_8”}，{“key”：“6226_CR9”，“DOI-asserted-by”：“crostref”，“非结构化”：“Jensen，K.和Kristen，L.M.，《有色Petri网：并发系统的建模与验证》，Springer-Verlag，2009年。”，“DOI”：“10.1007”：“b95112”}，{“问题”：“s.3\u20134”，“键”：“6226_CR10”，“DOI-asserted-by”：“crossref”，“首页”：“213”，“DOI”：”10.1007“s10009-007-0038-x”，“卷”：“9”，“作者”：“K.Jensen”，“年份”：“2007”，“非结构化”：“Jensen，K.，Kristensen，L.M.，and Wells，L.，Colored Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems，Int.J.Software Tools Techn.Transfer，2007，第9卷，nos.3\u20134，pp.213\u2013 254.”，“journal-title”：“Int.J.Software Tools Techn.Transfer”}，{“issue”：“10”，“key”：“6226_CR11”，“doi-asserted-by”：“crossref”，“first page”：“779”，“DOI”：“10.1109\/32.729680”，“volume”：“24”，“author”：“D.O.Keck”，“year”：“1998”，“unstructured”：“Keck，D.O.和Kuehn，P.J.，《电信系统中的功能和服务交互问题：调查》，IEEE Trans.Software Eng.，1998年，第24卷，第10期，第779\u2013796页。”，“doi-asserted-by”：“crossref”，“unstructured”：“Kozura，V.E.，Neponminaschy，V.A.，and Novikov，R.M.，《用高级Petri网建模的分布式系统的验证》，Proc.Int.Conf.on Parallel Computing in Electrical Engineering，Warsaw，2002.”，“doi”：“10.1109\/PCEE.2002.115202”}，{“issue”：“8”，“key”：“6226_CR13”，“doi-asserted-by”：，“首页”：“1090”，“DOI”：“10.1109\/5.533956”，“卷”：“84”，“作者”：“D.Lee”，“年份”：“1996”，“非结构化”：“Lee，D.，《有限状态机测试原理和方法》，电气与电子工程师协会，1996年，第84卷，第8期，第1090\u20131123页：“Lorentsen，L.，Tuovinen，A.和Xu，J.，《使用有色Petri网和设计（CPN）在诺基亚手机中建模功能交互模式》，第三届有色Petri网络实用研讨会（CPN-01），奥胡斯大学，2001年，第1\u201314页。”}，{“key”：“6226_CR15”，“非结构化”：“Nakamura，M.，《电信服务中特征交互检测高效算法的设计与评估》，大阪大学博士论文，1999年。”}，{“key”：“6226_CR16”，“doi-asserted-by”：“crossref”，“first page”：《360》，“doi”：“10.1007\/978-3-540-79709-8_36”，《volume》：“5010”，“author”：“V.Nepominaschy”，“year”：“2008”，“unstructured”：“Neponminaschy，V.，Beloglazov，D.，Churina，T.，and Mashukov，M.，《使用有色Petri网建模和验证电信系统》，Proc.CSR-2008；Lect.Notes Compute.Sci.，2008，第5010卷，第360\u2013371页。”，“日志标题”：“Proc.CSR-2018；Lect.Notes compute.Sci”}，{“key”：“6226_CR17”，“doi-asserted-by”：“crossref”，“首页”：“86”，“doi”：“10.1007\/978-3-540-39893-6_7”，“volume”：“2885”，“author”：“B.Schatz”，“year”：“2003”，“unstructured”：“Schatz，B.and Salzmann，Ch.，基于服务的系统工程：服务的一致组合，Proc.ICFEM-03；Lect.Notes Compute.Sci.，2003，vol.2885，pp.86\u2013104.”，“journal-title”：“Proc.ICFAM-03；Lect.Notes compute.Sci”}]，“container-title”：[“Automatic Control and Computer Sciences”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.3103\/S01464116120761.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/article\/10.3103\/S0146411612070061\/fulltext.html”，“content-type”：“text\/html”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}，{“URL”：“http://\/link.stringer.com/content\/pdf\/10.3103 \/S014604112070061”，“content-type“：”unspecified“，”content-version“：”vor“intended-applicance”：“similarity”y检查“}]，“存放”：{“date-parts”：[[2023,6,28]]，“date-time”：“2023-06-28T13:45:42Z”，“timestamp”：1687959942000}，“score”：1，“resource”：}“primary”：{“URL”：“http://\link.springer.com/10.3103\/S0146411612070061”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2012,12]]}”，“references-count”：17，“新闻发布”：{“发布”：“7”，“发布-发布”：}“日期-部分”：[[2012,12]}}，“alternative-id”：[“6226”]，“URL”：“http://\/dx.doi.org\/10.3103\/s014641612070061”，“relation”：{}，”ISSN“：[”0146-4116“，”1558-108X“]，“ISSN-type”：[{“value”：“0146-4118”，“type”:“print”}，{“value”：“1558-108X”，“type”：“electronic”}]，“subject”：[]，“发布了“：{“date-parts”：[[2012,12]]}}}