{“id”：“https://openalex.org/W1953761882“，”doi“：”https://doi.org/10.1007/3-540-44798-9_25“，”title“：”LTL模型检查的净减少量“，”display_name“：”LTL模型检查的净减少量“，”publication_year“：2001，”publication_date“：”2001-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1953761882“，”doi“：”https://doi.org/10.1007/3-540-44798-9_25“，”mag“：”1953761882“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-447898-9_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-44798-9_25.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/3-540-44798-9_25.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5090378914“，”display_name“：”哈维尔·埃斯帕尔扎“，”兽人“：”https://orcid.org/0000-0001-9862-4919}，“机构”：[{“id”：https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Javier Esparza“，”raw _ afiliation_strings“：[“德国理工大学信息研究所\u00fcr Informatik”，“affiliations”：[{“raw_affiliation_string”：“德国理工大信息研究所\ u00fct M\u00fc nchen”，“institution_ids”：[“https://openalex.org/I62916508“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066291268“，”display_name“：”Claus Schr\u00f6ter“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Claus Schr \u00f6ter“，”raw _affiliation_strings“：[“德国慕尼黑理工大学信息研究所”]，”从属关系“：[{”raw_affiliation_string“：”德国慕尼红理工大学资讯研究所”机构ID“：[”https://openalex.org/I62916508“]｝]｝]，”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.03，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：15，”cited_by_percentle__年份”：｛“分钟”：84，“max“：85}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”310“，”last_page“：”324“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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.9992，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9961，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.609296}，{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.596372}，{”id“：”https://openalex.org/关键字/petri-nets“，”display_name“：”Petri Nets“，”score“：0.571427}，{”id“：”https://openalex.org/keywords/model-transformation网站“，”display_name“：”模型转换“，”score“：0.511806}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.501082}]，”concepts“：[{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.8820903}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.77363396}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.7589263}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”归约（数学）“，”level“：2，”score“：0.7375473｝，｛”id“：”https://openalex.org/C14166107，“wikidata”：https://www.wikidata.org/wiki/Q253829“，”display_name“：”Net（多面体）“，”level“：2，”score“：0.69247526}，{”id“：”https://openalex.org/C94633896，“wikidata”：https://www.wikidata.org/wiki/Q7140378“，”display_name“：”部分订单减少“，”level“：3，”score“：0.59532416}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.55550116}，{”id“：”https://openalex.org/C197551870，“wikidata”：https://www.wikidata.org/wiki/Q7617809（网址：https://www.wikidata.org/wiki/Q7617809）“，”display_name“：”随机Petri网“，”level“：3，”score“：0.5094045}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.45111564}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.42263937｝，｛”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.4187134}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4131335}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.18030304}，{”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/3-540-447898-9_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-44798-9_25.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“：”系列丛书“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-44798-9_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-44798-9_25.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“：[/]，”datasets“：/[]，“versions”：[]”，“referenced_works_count”：12，“referrenced_works”：[”https://openalex.org/W1492259997","https://openalex.org/W1512310098","https://openalex.org/W1513309337","https://openalex.org/W1534926211","https://openalex.org/W1551214605","https://openalex.org/W1575266979","https://openalex.org/W1595213177","https://openalex.org/W172859451","https://openalex.org/W1887332231","https://openalex.org/W2121005961","https://openalex.org/W4244091111","https://openalex.org/W4249538237“]，”related_works“：[”https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W2125164140","https://openalex.org/W2091203523","https://openalex.org/W1980200158","https://openalex.org/W1543378523","https://openalex.org/W1513546254","https://openalex.org/W1491709828“]，”ngrams_url“：”https://api.openalex.org/works/W1953761882/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,43]，“present”：[1,73]，“a”：[2,74,86]，“set”：[3]，“of”：[4,10,18,51,69,76,85]，“reduction”：[5,15100]，“rules”：[6]，“for”：[7,48]，“LTL”：[8,64]，“model-checking”：[9,65,83]，“1-safe”：[11]，“Petri”：[12,30]，“nets.”：[13]，“我们的“：[14]，”技术“：[16,24,32]，”是“：[17,26]，”两个“：[19]，”种类：“：[20]，”（1）“：[21]，”线性“：[22]，”编程“：[23]，”which“：[25]，”based“：[27]，”on“：[28]，”known“：[29]，”net“：[31,41,54,87]，”like“：[33]，”invarants“：[34]，”and“：[35,38,79]，”implicit“：[36]，”places“：[37]，”（2）“：[39]，”local“：[40,53]，”reducations。“：[42]，”show“：[44,80]，”that“：[45,81]，”the“：[46,49,67,82]，”conditions“：[47]，”application“：[50]，”some“：[52]，”reducations“：[55]，”can“：[56,89]，”be“：[57,90]，”imensed“：[58]，”if“：[59,93]，”one“：60]，”is“：[61]，”interest“：[62]，”in“：[63]，”using“：[66]，“方法”：[68]，“[EH00，EH01]。“：[70]，”最后，“：[71]，”我们“：[72]，”数字“：[75]，”实验“：[77]，”结果“：[78]，”时间“：[84]，”系统“：[88]，”显著“：[91]，”减少“：[92]，”it“：[94]，”has“：[95]，”been“：[96]，”预处理“：[97]，”with“：[98]，”wer“：[99]，”技术。“：[101]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1953761882”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：1｝，｛“year”：2022，“cited_by_count”：1｝，｛“year”：2021，“cited_by_count”：1｝，｛“year”：2019，“cited_by_count”：2｝，｛“year”：2018，“cited_by_count”：2｝]，“updated_date”：“2024-07-02T01:53:0.735288”，“created_date”：“2016-06-24”｝