{“id”：“https://openalex.org/W853304191“，”doi“：”https://doi.org/10.1007/s00236-016-0273-2“，”title“：”Assume-accumble synthesis“，”display_name“：”Asume-Accumble synthesis”，“publication_year”：2016，“publitation_date”：“2016-07-13”，“ids”：{“openalex”：“https://openalex.org/W853304191“，”doi“：”https://doi.org/10.1007/s00236-016-0273-2“，”mag“：”853304191“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s00236-016-0273-2，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2Fs00236-016-0273-2-pdf“，”来源“：｛”id“：”https://openalex.org/S84409463“，”“display_name”“：”“Acta informatica”“，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：“article”，“type_crossref”：”journal-article“，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“青铜色，“oa_url”：https://link.springer.com/content/pdf/10.1007%2Fs00236-016-0273-2.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5067374706“，”display_name“：”Romain Brenguier“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Romain Brenguier“，”raw_affiliation_strings“：[“英国牛津大学计算机科学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5050196522“，”display_name“：”Jean-Fran\u00e7ois Raskin“，”orcid“：”https://orcid.org/0000-0002-3673-1097}，“机构”：[{“id”：https://openalex.org/I132053463“，”display_name“：”布鲁塞尔自由大学“，”ror“：”https://ror.org/01r9htc13“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I132053463“]}]，”countries“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Jean-Fran\u00e7ois Raskin“，”raw _ afiliation_strings“：【”D\u00e 9partment D\u2019informatique，University \ u00e 9 Libre de Bruxelles，Brussels，Belgium“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5059019724“，”display_name“：”Ocan Sankur“，”orcid“：”https://orcid.org/0000-0001-8146-4429}，“机构”：[{“id”：https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I2802519937“，”display_name“：”Institute de Recherche en Informatique et Syst\u00e8mes Al\u00e 9atoires“，”ror“：”https://ror.org/00myn0z94“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Ocan Sankur“，”raw _ afiliation_strings“：[“CNRS，IRISA，Rennes，France”]}]“countries _ distinct_count”：3，”institutions _ disting_count“：4，”corresponding_author_ids“：]”https://openalex.org/A5059019724“]，”对应的机构ID“：[”https://openalex.org/I1294671590","https://openalex.org/I2802519937“]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}，”apc _payed“：”{“value”：2390、”current“：”欧元“，”value_usd”：2990、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“pdf”、“cited_by_count”：37、“citecd_by_percentile_year”：{“min”：95、“max”：96}，“biblio”：{“volume”：“54”，“issue”：“1”，“first_page”：“41”，“last_page”：”83“}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9987，“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.9987，”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.9946，“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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9915，”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/adaptive-systems网站“，”display_name“：”自适应系统“，”score“：0.537039}]，”concepts“：[{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.6341905}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.61989427}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.60150534}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36641634}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.32663548}，{”id“：”https://openalex.org/C33923547“，”wikidata“：”https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.29018605}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s00236-016-0273-2，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2Fs00236-016-0273-2.pdf“，”来源“：{”id“：”https://openalex.org/S84409463“，”“display_name”“：”“Acta informatica”“，”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“：”journal“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-01373538，“pdf_url”：https://inria.hal.science/hal-01373538/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_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://drops.dagstuhl.de/opus/volltexte/2015/5371/，“pdf_url”：https://drops.dagstuhl.de/opus/volltexte/2015/5371/pdf/11.pdf，“源”：{“id”：https://openalex.org/S4306402524“，”display_name“：”Leibniz-Zentrum f\u00fcr Informatik（Schloss Dagstuhl）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I2799853480“，”“host_organization_name”：“Schloss Dagstuhl\u2013莱布尼茨信息中心”，“host_ordanization_lineage”：[“https://openalex.org/I2799853480“]，”host_organization_lineage_names“：[”Schloss Dagstuhl\u2013莱布尼茨信息中心“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1507.00623，“pdf_url”：https://arxiv.org/pdf/1507.00623，“源”：{“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.inia.fr/hal-01373538/file/aa.pdf，“pdf_url”：https://hal.inia.fr/hal-01373538/file/aa.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”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/s00236-016-0273-2，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2Fs00236-016-0273-2.pdf“，”来源“：{”id“：”https://openalex.org/S84409463“，”“display_name”“：”“Acta informatica”“，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320334678“，”“funder_display_name”：“欧洲研究委员会”，“award_id”：“FP7-279499”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：27，“referrenced_works”：[”https://openalex.org/W1481074184","https://openalex.org/W1499127572","https://openalex.org/W1523747463","https://openalex.org/W1569431692","https://openalex.org/W1590315663","https://openalex.org/W1608875152","https://openalex.org/W1612453857","https://openalex.org/W1620603552","https://openalex.org/W1865597116","https://openalex.org/W1994610451","https://openalex.org/W2023808162","https://openalex.org/W2037919977","https://openalex.org/W2043100293","https://openalex.org/W2051491228","https://openalex.org/W2067050450","https://openalex.org/W2100485490","https://openalex.org/W2106790957","https://openalex.org/W2116277209","https://openalex.org/W2120967289","https://openalex.org/W2121894842","https://openalex.org/W2158026954","https://openalex.org/W2214961507","https://openalex.org/W2912248071","https://openalex.org/W2912494578","https://openalex.org/W29926359","https://openalex.org/W4211045823","https://openalex.org/W4237131304“]，”related_works“：[”https://openalex.org/W4388675521","https://openalex.org/W4313163053","https://openalex.org/W3148810651","https://openalex.org/W2898772359","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2108135022","https://openalex.org/W2045155990“]，”ngrams_url“：”https://api.openalex.org/works/W853304191/ngrams网站“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1,38]，“paper”：[2]，“we”：[3]，“introduce”：[4]，“a”：[5]，“novel”：[6]，“rule”：[7,27,39]，“for”：[8,80]，“synthesis”：[9]，“of”：[10,17,33,58]，“reactive”：[11]，“systems，”：[12]，“applicable”：[13]，“to”：[14,51,66,76]，“系统”：[15]，“制造”：[16]，“n”：[18]，“组件”：[19]，“其中”：[20,60,68]，“有”：[21]，“每个”：[22,81]，“他们的“：[23]，“自己的”：[24]，“目标。“：[25]，”“This”：[26,63]，”is“：[28]，”based“：[29]，”on“：[30]，”the“：[31,45,52,96]，”concept“：[32]，”admissible“：[34]，”strategies。“：[35]，“我们”：[36,83]，“比较”：[37]，“与”：[40,86,95]，“先前”：[41,53]，“规则”：[42]，“定义的”：[43]，“in”：[44]，“文献”：[46]，“和”：[47,71,73,89]，“显示”，“解”：[59,67]，“是”：[61,69]，“矩形。“：[62]，”属性“：[64]，”领导“：[65]，”稳健“：[70]，”弹性“：[72]，”允许“：[74]，”一“：[75]，”综合“：[77]，”策略“：[78]，”分别“：[79]，”代理。“：[82]，”提供“：[84]，”算法“：[85]，”最优“：[87]，”复杂性“：[88]，”还“：[90]，”an“：[91]，”抽象“：[92]，”框架“：[93]，”兼容“：[94]，”新“：[97]，”规则。“：[98]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W853304191“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”ciped_by_cunt“：5}，”{“年份”：2022，“cited_by_count”：2}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：2}]，“更新日期”：“2024-06-07T23:12:53.268989”，“创建日期”：2016-06-24"}