{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T13:21:07Z”，“时间戳”：1648819267876}，“引用计数”：23，“发布者”：“IEEE Compute.Soc”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DO”I“：”10.1109\/hase.2000.895466“，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,11,11]]，“date-time”：“2002-11-11T09:56:01Z”，“timestamp”：1037008561000}，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“定量要求规范的结构化语言”]，“prefix”：“10.1109”，“author”：[{“given”：‘M.’，“family”：“Dal-Cin”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“author”：“ciardo”，“year”：“1992”，“journal-title”：“Linear Algebra Markov Chains and Queuing Models”}，{“密钥”：“ref11”，“首页”：“142”，“文章标题”：“SPNP:Stochasic Petri Net package”，“author”:“ciardo”，“年份”：“1989”，“日记标题”：“Proc IEEE Int Workshop on Petri Nets and Performance Models（PNPM'89）”}，{“key”：“ref12”，“first-page”：“37”，“article-title”：“基于保护状态图模型的可靠性关键系统的定性评估”，“author”：“cin”，“year”：“1999”，“journal-title“：”Proc Fourth IEEE Symp High Assurance systems Eng（HASE 99），“article-title”：“模型检查规范的结构化英语”，“author”：“flake”，“year”：“2000”，“journal-title“：Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation Von Schaltungen Und Systemen”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/194313.194399”}：“马尔可夫再生随机Petri网中的预期脉冲奖励”，“作者”：“德语”，“年份”：“1997年”，“新闻标题”：“Proc 9 Conf计算机性能评估建模技术和工具”}，{“关键”：“参考16”，“文章标题”：”SPNL:过程是随机Petri网上面向语言的构建块“，“卷”：“1245”，“作家”：“德国”，“年”：“1997”，“journal-title”：“Proc Int'l Workshop Petri Nets and Performance Models（PNPM'97）”}，{“key”：“ref17”，“first page”：”96“，”article-title“：”ProbVerus:概率符号模型检查“，”volume“：”1601“，”author“：”haronas-garmhause“，”year“：”1999“，”journal-title“:”Proc ARTS'99“}，”{“key”：“ref18”，“volume”：第“7”，“author”：“hermanns，“年份”：“1999”，“journal-title”：“Informatik”}，{“key”：“ref19”，“year”：“0”，“johnal-title:“HIDE可靠性高级集成设计环境”}“}，{“key”：“ref6”，“article-title”：“PANDA——Petri网分析和设计助理，工具描述”，“author”：“allmaier”，“year”：“1997”，“journal-title“：“第十届国际Conf建模技术和计算机性能评估工具”}，{“key”：：“共享内存多处理器上GSPN随机解数值瞬态分析的并行方法”，“author”：“allmaier”，“year”：“1997”，“journal-title”：“Proc IEEE Int Workshop on Petri Nets and Performance Models（PNPM'97）”}，{“key”：“ref8”，“article-title“：可靠性的高级集成设计（HIDE）”，“author”：“bondavalli”，“year”：“1999”，“journal-title”：“IEEE Proc WORDS'99”}，{“key”：“ref7”，“first page”：”269“，”article-title“：“Verifying continuous time Markov chains，Proc.Computer-Aided Verification”，“volume”：《计算机辅助验证》，“1102”，“auther”：“aziz”，“年份”：“1996”，“日记标题”：“Proc Fourth IEEE Int High-Assurance System engineering Symposium（HASE'99）}：“ref2”，“author”：“allmaier”，“year”：“1999”，“journal-title”：“Parallele L\uffdsungen f\uffdr stochamische Modellierung”}，{“key”：“ref1”，“author”:“marsan”，“year”：《1986年》，“johnal-tittle”：《多处理器系统的性能模型》}，}“key”：“ref9”，“doi-asserted-by”：“crossref”，”，“first page”：”146“，“doi”：“10.1007\/3-540-48320-9”_12“，”物品标签“：“连续时间马尔可夫链的近似符号模型检查”，“卷”：“16664”，“作者”：“baier”，“年份”：“1999”，“期刊标题”：“Proc Concurrent Theory”}，｛“key”：“ref20”，“doi asserted by”：“publisher”，“doi”：“10.1109\/49.62852”｝，｛“key”：“ref22”，“文章标题”：“有限状态验证的属性规范模式”，“author”：“matthiew”，“年份”：“1998年”，“期刊标题”：“软件实践中形式化方法第二次研讨会”}，{“key”：“ref21”，“首页”：“42”，“article-title”：“图形属性规范语言”，“author”：“lee”，“year”：“1997”，“journal-title“：“Proc IEEE Int High-Assurance System engineering Symposium（HASE'97）”}：“有限状态验证的属性规范模式”，“author”：“matthiew”，“year”：“1999”，“journal-title”：“Proc 11th Int Conf Software Eng”}]，“event”：{“name”：“HASE 2000。第五届IEEE高保证系统工程国际研讨会”，“地点”：“美国新墨西哥州阿尔伯克基”，“首字母缩写词”：“HASE-00”}，“容器-标签”：[“第五届电气与电子工程师学会高保证系统工程国际研讨会（HASE 2000）论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx5\/7194\/19380\/0089546.pdf？arnumber=895466“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,6,15]]，”date-time“：“2017-06-15T09:56:37Z”，”timestamp“：1497520597000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieexplore.iee.org\/document\/895466\/”}}，“副标题”：[]，“短标题”：[]，“发出“：{“date-parts”：[[null]]}，“references-count”：23，“URL”：“http://\/dx.doi.org\/10.109\/hase.2000.895466”，“relation”：{}，”subject“：[]}}”