{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T04:42:25Z”，“时间戳”：1648701745200}，“引用计数”：16，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DOI”：“10.1109\/csd.2004.1309130“，”类型“：“procesdings-article”，“created”：{“date-parts”：[[2004,11,13]]，“date-time”：“2004-11-13T00:14:14Z”，“timestamp”：1100304854000}，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“数据对称的新轨道算法”]，“prefix”：“10.1109”，”author“：[{”given“T.A.”，“family”：“Junttila”，“sequence”：“first”，“affiliation”：[]}]，“成员”：“263”，“reference”：[{“key”：“15”，“article-title”：“Nauty用户指南（1.5版）”，“volume”：”tr cs 90 2“，“author”：“mckay”，“year”：“1990”，“journal-title“：”技术报告“}，{“密钥”：“16”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/350887.350891”}，“key“：”13”，“first page”：检查“，”音量“：“2057”，“author”：“lerda”，“year”：“2001”，“journal title”：“Model Checking Software 8th International SPIN Workshop Volume 2057 of LNCS”｝，｛“key”：“14”，“first page”：“45”，“article title”：“Practical graph同构”，“Volume”：“30”，“author”：“mckay”，“year”：“1981”，“journal title”：“Congresus Numeratium”｝，｛“key”：“11”，“article title”：“可达性分析中代数系统网数据类型对称性的检测与利用”，“卷”：“a57”，“作者”：“junttila”，“年份”：“1999”，“日志标题”：“研究报告”}，{“key”：“3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF00625969”}，{”key“：“2”，“首页”：“373”，”author“：”chiola“，”year“：“0”，“journal-title”：“On Well-formed Coloured Nets and Their Symbolic Reachability Graph”}“：”10“，”doi-asserted-by“：”crossref“，”author“：”jensen“，“year”：“1991”，“journal-title”：“高级Petri网理论与应用”，“DOI”：“10.1007\/978-3642-84524-6”}，{“key”：“7”，“author”：“ip”，“year:”1996“，”journal-title“：“自动形式验证的状态约简方法”}，“author”：“iosif”，“year”：“2002”，“journal-title”：“模型检查软件第九届国际SPIN研讨会第2318卷LNCS”}，{“key”：“5”，“first page”：：“3”，“auther”：“genrich”，“年”：“0”，“日记标题”：“谓词转换网络”}“2”，“作者”：“詹森”，“year”：“1995”，“journal-title”：“彩色Petri网基本概念分析方法和实际应用卷2分析方法”}，{“key”：“8”，“doi-asserted-by”：“crossref”，“first-page”：“41”，“doi”：“10.1007\/BF00625668”，“article-title“：通过对称进行更好的验证”，“volume”：：“系统设计中的形式方法”}]，“event”：{“name”：“Proceedings.第四届并行应用于系统设计国际会议，2004年。ACSD 2004.“，”location“：”Hamilton，ON，Canada“}，”container-title“：[“Proceedings.Fourth International Conference ON Application of Concurrency to System Design，2004年。ACSD 2004.“]，”original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx5\/9149\/29052\/01309130.pdf？arnumber=1309130“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2018,12,21]]，“date-time”：“2018-12-21T08:57:40Z”，“时间戳”：1545382660000}，“分数”：1，“resource“：{”primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/1309130\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{date-parts“：[[null]]}，”references-count“：16，”URL“：”http://\/dx.doi.org\/10.109\/csd.2004.1309130“，”relationship“：{}”，“subject”：[]}}