｛“id”：“https://openalex.org/W2885554111“，”doi“：”https://doi.org/10.1016/j.tcs.2018.04.014“，”title“：”奥卡姆剃刀应用于Petri网可覆盖性问题“，”display_name“：”奥卡姆剃刀应用于Petri网可覆盖性问题“，”publication_year“：2018，”publication_date“：”2018-11-01“，”ids“：｛”openalex“：”https://openalex.org/W2885554111“，”doi“：”https://doi.org/10.1016/j.tcs.2018.04.014“，”mag“：”2885554111“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2018.04.014“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.tcs.2018.04.014“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5005171396“，”display_name“：”Thomas Geffroy“，”orcid“：”https://orcid.org/0009-0005-4532-8872}，“机构”：[{“id”：https://openalex.org/I4210142254“，”display_name“：”Laboratoire Bordelais de Recherche en Informatique“，”ror“：”https://ror.org/03adqg323“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Thomas Geffroy“，”raw _ afiliation_strings“：[“Laboratoire Bordelais de Recherche en Informatique”]，”从属关系“：[{”raw _affiliation_string“：”Laboratorie Borderlais de Recherce en Informationque“，”institution_ids“：]”https://openalex.org/I4210142254“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5014652670“，”display_name“：”J\u00e9r\u00f4me Leroux“，”orcid“：”https://orcid.org/0000-0002-7214-9467}，“机构”：[{“id”：https://openalex.org/I4210142254“，”display_name“：”Laboratoire Bordelais de Recherche en Informatique“，”ror“：”https://ror.org/03adqg323“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”J\u00e9r\u00f4me Leroux“，”raw _ afiliation_strings“：[“Laboratoire Bordelais de Recherche en Informatique”]，“affiliations”：[{“raw_affiliation_string”：“Laboratorie-Borderais de Leche en Informati奎”，“institution_ids”：[“https://openalex.org/I4210142254“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5080032804“，”display_name“：”Gr\u00e9goire-Sutre“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210142254“，”display_name“：”Laboratoire Bordelais de Recherche en Informatique“，”ror“：”https://ror.org/03adqg323“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Gr\u00e9goire Sutre“，”raw _affiliation_strings“：[“Laboratoire Bordelais de Recherche en Informationque”]，“affiliations”：[{“raw_affiliation _string”：“Laboratorier Bordellais de Rcherchece en Informatique”，“institution_ids”：[”https://openalex.org/I4210142254“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：2690，“currency”：“USD”，“value_USD”：2680，“provenance”：“doaj”}，“apc _payd”：null，“fwci”：1.437，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cit”ed_by_count“：9，”cited_by_percentile_year“：{”min“：86，”max“：87}，”biblio“：{”volume“：”750“，”issue“：null，”first_page“：”38“，”last_page“：“52”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9976，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9975，“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/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.573079}，{”id“：”https://openalex.org/keywords/petri-nets网站“，”display_name“：”Petri Nets“，”score“：0.565783}]，”concepts“：[{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.93580616}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.8520689｝，｛”id“：”https://openalex.org/C64802038，“wikidata”：https://www.wikidata.org/wiki/Q131012“，”display_name“：”奥卡姆剃刀“，”level“：2，”score“：0.83840954｝，｛”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.81495786}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.7122476}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.70044017}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.5584161}，{”id“：”https://openalex.org/C197551870，“wikidata”：https://www.wikidata.org/wiki/Q7617809“，”display_name“：”随机Petri网“，”level“：3，”score“：0.500865}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47956914}，{”id“：”https://openalex.org/C78469957，“wikidata”：https://www.wikidata.org/wiki/Q838062“，”display_name“：”occam“，”level“：2，”score“：0.47691676}，{”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.4735859}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46648505}，{”id“：”https://openalex.org/C136155141，“wikidata”：https://www.wikidata.org/wiki/Q7247260“，”display_name“：”进程体系结构“，”level“：3，”score“：0.43329895}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3796398｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25391883}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：8，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2018.04.014“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-02390655，“pdf_url”：https://hal.science/hal-02390655/document“，”source“：null，”license“：null.，”licence_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-02391865“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”法国国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1607.05956，“pdf_url”：https://arxiv.org/pdf/1607.05956，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02390655/file/GeffroyLerouxSutre-TCS-2018.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02390655/file/GeffroyLerouxSutre-TCS-2018.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”法国国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-02390655/file/GeffroyLerouxSutre-TCS-2018.pdf，“pdf_url”：https://hal.science/hal-02390655/file/GeffroyLerouxSutre-TCS-2018.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”法国国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-02390655/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02390655/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”法国国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”版本“：”提交版本“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.1607.05956“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.tcs.2018.04.014“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1967174286","https://openalex.org/W2036526834","https://openalex.org/W2052306562","https://openalex.org/W2055081868","https://openalex.org/W2078846861","https://openalex.org/W2106001218","https://openalex.org/W2112594687","https://openalex.org/W2167776377“]，”related_works“：[”https://openalex.org/W4255837018","https://openalex.org/W3023590748","https://openalex.org/W2966907487","https://openalex.org/W2951568450","https://openalex.org/W2949846021","https://openalex.org/W2148229336","https://openalex.org/W2140251433","https://openalex.org/W2133661350","https://openalex.org/W1731670240","https://openalex.org/W1531156418“]，”ngrams_url“：”https://api.openalex.org/works/W2885554111/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“verification”：[1]，“of”：[2,37,65,99]，“safety”：[3]，“properties”：[4]，“for”：[5,14,83,89]，“concurrent”：[6]，“systems”：[7]，“commery”：[8]，“reduced”：[9]，“to”：[10,21,53]，“The”：[11,29,40,62,97]，“coverability”：[12]，“问题”：[13,18]，“Petri”：[15,84]，“nets.”：[16]，“This”：[17]，“was”：[19]，“shown”：[20]，“be”：[22]，“ExpSpace-complete“：[23]，”四十“：[24]，”年“：[25]，”之前。“：[26]，”驱动“：[27]，”由“：[28]，”并发“：[30]，”革命“：[31]，”it“：[32]，”has“：[33]，”retained“：[34]，”a“：[35,48]，”lot“：[36]，”interest“：[38]，”over“：[39]，”last“：[41]，”decade。“：[42]，”In“：[43]，”this“：[44,55]，”paper“：[45]，”we“：[C6,77]，”propose“：[47]，”generic“：[49]，”and“：[50,69]，”simple“：[51]，”approach“：[22,64]，”solve“：[54]，”问题。“：[56]，“我们的”：[57]，“方法”：[58]，“是”：[59]，“灵感”：[60]，“来自”：[61]，“最近”：[63]，“布隆丁”：[66]，“芬克尔”：[67]，“Haase”：[68]，“哈达德”：[70]，“呈现”：[71]，“at”：[72]，“TACAS”：[3]，“in”：[74]，“2016.”：[75]，“基本上，”：[76]，“组合”：[78]，“向前”：[79]，“不变”：[80]，“生成”：[81]，“技术”：[82]，“网络”：[85]，“有”：[86]，“向后”：[87]，“可达性“：[88]，“结构良好”：[90]，“过渡”：[91]，“系统”。“：[92]，”安“：[93]，”实验“：[94]，”评估“：[95]，”演示“：[96]，”效率“：[98]，”我们的“：[100]，”方法。“：[101]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2885554111“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：2}，{“年”：2022，”ciped_by_cunt“：1}，”{“年度”：2021，“cited_by_count”：3}，“年份”:2020，”cited_by_count：3}]，“更新日期”：“2024-06-21T04:05.401453”，“创建日期”：”2018-08-22“}