{“id”：“https://openalex.org/W1526447489“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_6“，”title“：”一类无限状态系统的经验有效性验证“，”display_name“：”无限状态系统一类的经验有效验证“，“publication_year”：2005，”publication_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1526447489“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_6“，”mag“：”1526447489“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_6，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_6.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_6.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5067218159“，”display_name“：”杰西·宾厄姆“，”兽人“：”https://orcid.org/0000-0001-7015-0440}，“机构”：[{“id”：https://openalex.org/I141945490“，”display_name“：”不列颠哥伦比亚大学“，”ror“：”https://ror.org/03rmrcq20“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I141945490“]}]，”countries“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Jesse Bingham“，”raw _affiliation_strings“：【”不列颠哥伦比亚大学计算机科学系“】，”affiliations“：[{”raw _affiliation_string“：”英属哥伦比亚大学计算机系“，”institution_ids“：[“https://openalex.org/I141945490“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5050411743“，”display_name“：”Alan J.Hu“，”orcid“：”https://orcid.org/0000-0002-4276-0169}，“机构”：[{“id”：https://openalex.org/I141945490“，”display_name“：”不列颠哥伦比亚大学“，”ror“：”https://ror.org/03rmrcq20“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I141945490“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Alan J.Hu“，”raw _affiliation_strings“：[“不列颠哥伦比亚大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”不列颠斯哥伦比亚大学计算机系”，“institution_ids”：[“https://openalex.org/I141945490“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：1.665，”has_fulltext“：true，”fulltext_oorigin“：”pdf“，”cited_by_count“：17，”citation_normalized_p百分位“：｛”value“：0.891546，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：85，”max“：86}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“77”，“last_page”：“92”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9895，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9893，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.545652}，{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.545187}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.540095}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.52875}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.527117}，{”id“：”https://openalex.org/keywords/stoachamic-petri-net“，”display_name“：”随机Petri网“，”score“：0.52427125}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8000859}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.7958737}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.7185313}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.6891015}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.62062407}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5675469}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5331862}，{”id“：”https://openalex.org/C197551870，“wikidata”：https://www.wikidata.org/wiki/Q7617809“，”display_name“：”随机Petri网“，”level“：3，”score“：0.52427125｝，｛”id“：”https://openalex.org/C111335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.51761544}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.39906996}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.15439954}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_6，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_6.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_6，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_6.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：31，”https://openalex.org/W1501731334","https://openalex.org/W1504504841","https://openalex.org/W1526447489","https://openalex.org/W1532374416网址","https://openalex.org/W1546101340","https://openalex.org/W1561112849","https://openalex.org/W1582008002","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1605302571","https://openalex.org/W1850405760","https://openalex.org/W1854314632","https://openalex.org/W1864138857","https://openalex.org/W1879996931","https://openalex.org/W1913196744","https://openalex.org/W1965726041","https://openalex.org/W1967174286","https://openalex.org/W1976967219","https://openalex.org/W2050487400","https://openalex.org/W2060095702","https://openalex.org/W2061438988","https://openalex.org/W2076508310","https://openalex.org/W2080267935","https://openalex.org/W2109943697","https://openalex.org/W2116519336","https://openalex.org/W2123160677","https://openalex.org/W2123910665","https://openalex.org/W2129073086","https://openalex.org/W2129182823","https://openalex.org/W2561675875","https://openalex.org/W4247648311“]，”related_works“：[”https://openalex.org/W2499946963","https://openalex.org/W2380814829","https://openalex.org/W2353505923","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2039577724","https://openalex.org/W1980200158","https://openalex.org/W1551903405","https://openalex.org/W1531156418","https://openalex.org/W1500907979“]，”abstract_inverted_index“：{”Well-structured“：[0]，”transition“：[1]，”systems“：[2138]，”（WSTS）“：[3]，”are“：[4]，”a“：[5,37,74,91128144156]，”broad“：[6]，”and“：[7,53,63109]，”Well-strusted“：[8]，”class“：[9,93]，”of“：[10,17,21,25,50,78,94136]，”inverted-state“：[11]，”index“12]，“for”：[13,40]，“which”：[14,96]，“the”：[15,19,47,68,86119134188201]，“问题“：[16146]，”验证“：[18]，”可达性“：[20]，”an“：[22116]，”向上关闭“：[23]，”集合“：[24]，”错误“：[26]，“状态”：[27]，”是“：[28153]，”可判定“：[29158]，”（主题“：[30]，”to“：[31,46,89118165]，”some“：[32]，”技术性）。“：[33]，”最近，“：[34]，”宾厄姆“：[35]，”提议“：[36]，”新“：[38129183]，”算法“：[39,57,72120]，”此“：[41,82]，”问题“：[42]，”但“：[43]，”适用“：[44]，”仅“：[45]，”特殊“：[48]，”案例“：[49]，”广播“：[51103]，”协议“：[52208]，”petri“：[54,79105193]，”网络。“：[55，80]，”The“：[55611]，”漏洞利用“：[58]，”有限状态“：[59]，”符号“：[60]，”模型“：[61]，”检查“：[62]，”过去“：[64]，”显示“：[65]，”优于“：[67]，”经典“：[669189]，”WSTS“：[70]，”验证“：[71135145]，”on“：[73747191200205]，”人为“：[75]，”示例“：[76]，”家族“：[77]，”In“：[81124]，”工作，“：[83]，”我们“：[84,97126]，”概括“：[85]，”早期”：[87]，“结果”：[88178]，“句柄”：[90]，“较大”：[92202]，“WSTS”：[95]，“dub”：[98]，“很好”：[99148]，“可切片”：[100]，“that”：[10101121131]，“包括”：[102]，“协议”：[104]，“网络”：[106]，“上下文无关”：[107]，“语法”：[108]，“有损”：[110]，“信道”：[111]，“系统”。“：[112]，”我们“：[113]，”也“：[114]，”添加“：[115]，”优化“：[117]，”加速“：[122]，”收敛。“：[123]，”addition，“：[125]，”introduce“：[127]，”reducation“：[130152]，”soundly“：[132]，”converts“：[133]，”parameterized“：[137172207]，”with“：[139214]，”unbounded“：%140]，”cognie“：[141]，”guards“：[142]，”to“：[143]，”slicable“：[149]，”WSTS。“：[150]，”完成“：[154]，”如果“：[155]，”确定“：[157]，”边“：[159]，”条件“：[160]，”保持。“：[161]，”此“：[162]，”允许“：[163]，”我们“：[164]，”访问“：[166]，”工业“：[167]，”相关“：[168]，”挑战“：[169]，”问题“：[170]，”来自“：[171]，”内存“：[173]，”系统“：[174]，”验证。“：[175]，“我们的”：[176]，“经验”：[177]，“显示”：[179]，“那，”：[180]，“虽然”：[181]，“我的”：%182]，“方法”：[184]，“执行”：[185197]，“较差”：[186]，“比”：[187]，“途径”：[190]，“小”：[192]，“净”：[194]，“示例”：[195]，“它”：[196]，“实质上”：[198]，“较好”：[199]，“示例”：[203]，“基于”：[204]，“实数”：[206]，“（例如，”：[209]，“德语的”：[210]，“缓存“：[211]，”一致性“：[212]，”协议“：[213]，”数据“：[215]，”路径）。“：[216]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1526447489“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2018，”ciped_by_cunt“：1'，{年“：2017，”cited_by_count”：2}，“年份”：2015，”citted_by_count“:2}创建日期“：”2016-06-24“}