{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T19:34:49Z”，“时间戳”：1725564889793}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540222361“}，{”类型“：“electronic”，“value”：“9783540277934”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-27793-4_15“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,5]]，“date-time”：“2010-09-05T22:49:31Z“，”时间戳“：1283726971000}，”页面“：”258-277“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“Place\/Transition-Nets的新标准代表性标记算法”]，“prefix”：“10.1007”，”author“：[{”given“：”Tommi A.“，”family“：”Junttila“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[{“key”：”15_CR1“，”first page“293”，“volume”“：”“8”，“author”：“P.H.Starke“，”年份“：“1991”，“非结构化”：“Starke，P.H.：使用对称性对Petri网进行可达性分析。系统分析建模仿真\u00a08，293\u2013303（1991）”，“日志标题”：“系统分析建模模拟”}，{“key”：“15_CR2”，“doi-asserted-by”：“publisher”，“first page”：”545“，“doi”：“10.1007\/s00236005002”，”volume“36”，“author”：“K.Schmidt”，“年份”：“2000”，“非结构化”：“Schmidt，K.：如何计算Petri网的对称性。信息学报\u00a036，545\u2013590（2000）”，“期刊标题”：“信息学报”}，{“key”：“15_CR3”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“315”，“doi”：“10.1007\/3-540-46419-0_22”，“volume-title”：“系统构建和分析的工具和算法”，“作者”：“K.Schmidt”，“年份”：“2000年”，“非结构化”：“Schmidt.K.：将低层对称性集成到可达性分析中。收录：Schwartzbach，M.I.，Graf，S.（编辑）TACAS 2000。LNCS，第u00a01785卷，第315\u2013330页。Springer，Heidelberg（2000）“}，{”key“：”15_CR4“，”首页“：”307“，”volume“：“7”，”author“：”T.A.Junttila“，”year“：”2001“，”unstructured“：”Junttila.T.A.：Place\/Transition-net对称约简方法的计算复杂性。《通用计算机科学杂志》\u00a07，307\u2013326（2001）“，”Journal-title“：”通用计算机科学杂志“}，{“key”：“15_CR5”，“unstructured”：“Junttila，T.：关于Petri网和类似形式的对称约简方法。研究报告A80，赫尔辛基理工大学理论计算机科学实验室，博士论文（2003）”}，}，“volume-title”：“置换群的基本算法”年份：“1991年”，“连续时间”：“计算机科学课堂讲稿”，“关键”：“15_CR6”，“非结构化”：“Butler，G.（ed.）：置换群的基本算法。LNCS，体积\u00a0559。Springer，Heidelberg（1991）“}，{键”：“15_CR7”，“首页”：“45”，“卷”：“30”，“作者”：“B.D.McKay”，“年份”：“1981”，“非结构化”：“McKay，B.D.：实用图同构。国会数字\u00a030，45\u201387（1981）”，“新闻标题”：“国会数字”}，}“卷时间”：“组合算法：生成、枚举和搜索”，“年份”：“1999年”，“作者”：“D.L.Kreher”，“key”：“15_CR8”，“非结构化”：“Krer，D.L.，Stinson，D.R.：组合算法：生成、枚举和搜索。CRC Press，Boca Raton（1999）“}，{”key“：”15_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“465”，”doi“：”10.1007\/3-540-44988-4_27“，”volume-title“：“Petri Nets 2000的应用与理论”，”author“：”K.Schmidt“，“year”：“2000”，“unstructured”：“Schmidt，K.：LoLA：低电平分析仪。In:Nielsen，M.，Simpson，D.（编辑）ICATPN 2000。LNCS，卷\u00a01825，第465\u2013474页。Springer，Heidelberg（2000）“}，{“key”：“15_CR10”，“series-title”：“理论计算机科学专著”，“卷-时间”：“彩色Petri网：基本概念、分析方法和实际应用：第2卷，分析方法”，“作者”：“K.Jensen”，“年份”：“1995”，“非结构化”：“Jensen，K.：有色Petri网：基本概念、分析方法和实际应用：第2卷，分析方法。理论计算机科学专著。Springer，Heidelberg（1995）“}，{”key“：“15_CR11”，”doi-asserted-by“：”publisher“，”first page“：”105“，”doi“：”10.1007\/BF00625970“，”volume“：：”9“，”author“：”E.A.Emerson“，”year“：”1996“，”unstructured“：”Emerson，E.A.，Sistla，A.P.：对称性和模型检查。系统设计中的形式方法\u00a09，105\u2013131（1996）“，”journal-title“：”系统设计中的形式方法“}，{“key”：“15_CR12”，“doi-asserted-by”：“publisher”，“first page”：”77“，“doi”：“10.1007\/BF00625669”，“volume”：：“9”，“author”：“E.M.Clarke”，“year”：“1996”，“unstructured”：“Clarke，E.M.，Enders，R.，Filkorn，T.，Jha，S.：在时序逻辑模型检查中利用对称性。系统设计中的形式方法\u00a09，77\u2013104（1996）“，“journal-title”：“系统设计中形式方法”}，{“key”：“15_CR13”，“doi-asserted-by”：“publisher”，“first-page”：“41”，“doi”：“10.1007\/BF00625968”，“volume”：”9“author”：“C.N.Ip”，“year”：“1996”，“unstructured”：“Ip，C.N.，Dill，D.L.：通过对称进行更好的验证。系统设计中的形式方法\u00a09，41\u201376（1996）“，”journal-title“：”Formal Methods in System Design“}，{“key”：“15_CR14”，“doi-asserted-by”：“publisher”，“first-page”：“617”，“doi”：“10.1145\/262004.262008”，”volume“：“19”，“author”：“E.A.Emerson”，“year”：“1997”，“unstructured”：“Emerson，E.A.，Sistla，A.P.：在公平假设下进行模型检查时使用对称性：自动机理论方法。《美国计算机学会编程语言和系统学报》\u00a019，617\u2013638（1997）“，”journal-title“：”《美国计算机科学学会编程语言与系统学报》“}，{“key”：“15_CR15”，“doi-asserted-by”：“publisher”，“first-page”：“217”，“doi”：“10.1023\/A:1008701202999”，“volume”：”15“author”：“V.Gyuris”，“year”：“1999”，“unstructured”：“”Gyuris，V.，Sistla，A.P.：利用对称性的公平性下的飞行模型检查。系统设计中的形式方法\u00a015217\u2013238（1999）“，“journal-title”：“系统设计的形式方法”}，{“key”：“15_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Chiola，G.，Dutheillet，C.，Franceschinis，G.和Haddad，S.：关于格式良好的彩色网及其符号可达图。见：[26]，第373\u2013396页”，“doi”：“10.1007\/978-3-642-84524-6_13“｝，｛“key”：“15_CR17”，“非结构化”：“Junttila，T.：在可达性分析过程中检测和利用代数系统网的数据类型对称性。研究报告A57，赫尔辛基理工大学理论计算机科学实验室（1999）”｝，｛“key”：“15_CR18”，“非结构化”：“Ip，C.N.：自动形式验证的状态约简方法。斯坦福大学计算机科学系博士论文（1996）“}，{“key”：“15_CR19”，“doi断言”：“crossref”，“非结构化”：“Huber，P.，Jensen，A.M.，Jepsen，L.O.，Jensen，K.：走向高级Petri网的可达性树。技术报告DAMI PB 174，Datalogisk Afdeling，Matemadisk Institut，奥胡斯大学（1985）”，“doi”：“10.7146\/dpb.v13i174.7449“}，{“key”：“15_CR20”，“doi-asserted-by”：“publisher”，“first page”：”133“，”doi“：”10.1145\/350887.350891“，”volume“：”9“，”author“：”A.P.Sistla“，”year“：”2000“，”unstructured“：”Sistla，A.P.、Gyuris，V.、Emerson，E.A.：SMC：用于验证安全性和活性特性的基于对称的模型检查器。ACM软件工程与方法学报\u00a09，133\u2013166（2000）“，”期刊标题“：”ACM软件工程学与方法学报“}，{“key”：“15_CR21”，“unstructured”：“Junttila，T.：数据对称性的对称性简化算法。赫尔辛基理工大学理论计算机科学实验室研究报告A72（2002）“}，{”key“：”15_CR22“，”doi-asserted-by“：”publisher“，”first page“：“211”，”doi“：”10.1109\/CSD.2001.981778“，”volume-title“：”Proceedings of the Second International Conference on Application of Concurrency to System Design（ACSD 2001）“，”author“：”L.Lorentsen“年：“2001”，“非结构化”：“Lorentsen，L.，Kristensen，M.：利用对称方法在状态空间生成中开发稳定器和并行性。参见：《第二届并行应用于系统设计国际会议论文集》（ACSD 2001），第211\u2013220页。IEEE Computer Society，Los Alamitos（2001）“}，{“key”：“15_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Genrich，H.J.：谓词转换网络。收录于：[26]，第3\u201343页”，“doi”：“10.1007\/978-3642-84524-6_1”}，“key“：”15_CR24“，”doi-assert-by“：”publisher“，“first page”：”60“，“doi:”10.1016\/0196-6774（86）90038-6“，“卷”：“7”，“作者”：“M。Jerrum“，”year“：”1986“，”unstructured“：”Jerrum，M.：置换群的紧表示。算法杂志\u00a07，60\u201378（1986）“，”杂志标题“：”算法杂志“}，{“key”：“15_CR25”，“series-title”：“理论计算机科学专著”，“volume-title”：《有色Petri网：基本概念、分析方法和实际应用：第1卷，基本概念》，“author”：“K.Jensen”，“year”：“1992”，“unstructured”：“Jensen，K.：有色Petri网：基本概念、分析方法和实际应用：第1卷，基本概念，第2版。理论计算机科学专著。Springer，Heidelberg（1992）“，“edition”：“2”}，{“volume-title”：“Highlevel Petri Nets；Theory and Application”，“year”：“1991”，“key”：“15_CR26”，“unstructured”：“Jensen，K.，Rozenberg，G.（eds.）：Highleval Petri Networks；Theore and Application.Spring，Heidenberg（1991）”}]，“container-title“：[”计算机科学课堂讲稿“，”Petri网的应用和理论2004“]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-27793-4_15.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2020,11,19]]，“date-time”：”2020-11-19T04:20:30Z“，“”timestamp“：1605759630000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-540-27793-4_15“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2004]]}，《ISBN》：[“9783540222361”，“97835407934”]，“references-count”：26，“URL”：“http://\/dx”。doi.org \/10.1007\/978-3-540-27793-4_15“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn type“：[｛”type“：”print“，”value“：”0302-9743“｝，｛”type“：”electronic“，”value“：”1611-3349“｝]，”subject“：[]，”published“：｛”date parts“：[[2004]]｝｝｝