{“id”：“https://openalex.org/W2116027328“，”doi“：”https://doi.org/10.109/prdc.2002.1185640“，”title“：”异步电路验证的面向层次的形式化模型及其有效分析方法“，”display_name“：”面向层次的异步电路验证形式化模型及有效分析方法”，“publication_year”：2003，“publiation_date”：“2003-06-26”，“ids”：{“openalex”：“https://openalex.org/W2116027328“，”doi“：”https://doi.org/10.109/prdc.2002.1185640“，”mag“：”2116027328“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/prdc.2002.1185640“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://schoolrsarchive.byu.edu/cgi/viewcontent.cgi？article=2068&context=facpub“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5031000684“，”display_name“：”Tomoya Kitai“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I114531698“，”display_name“：”东京理工大学“，”ror“：”https://ror.org/0112mx960“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I114531698“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”T.Kitai“，”raw_affiliation_strings“：[“东京理工学院（日本）”]，”affiliations“：[{”raw_affiliation_string“：”东京理工大学（日本）“，”institution_ids“：[https://openalex.org/I114531698“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5086035202“，”display_name“：”Yusuke Oguro“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I114531698“，”display_name“：”东京理工大学“，”ror“：”https://ror.org/0112mx960“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I114531698“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Y.Oguro“，”raw_affiliation_strings“：[“东京理工学院（日本）”]，”affiliations“：[{”raw_affiliation_string“：”东京理工大学（日本）“，”institution_ids“：[https://openalex.org/I114531698“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5018623844“，”display_name“：”Tomoki Yoneda“，”orcid“：”https://orcid.org/0000-0002-9804-0240}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}，{”id“：”https://openalex.org/I4210158934“，”display_name“：”信息与系统研究组织“，”ror“：”https://ror.org/04p4e8t29“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I4210158934“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”T.Yoneda“，”raw _ afiliation_strings“：[“信息与系统研究组织，国家信息研究所”]，”affiliations“：[{”raw _affiliation_strong“：”国家信息研究院信息与系统研究组织”，“institution_ids”：[“https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5005072374“，”display_name“：”Eric Mercer“，”orcid“：”https://orcid.org/0000-0002-2264-2958}，“机构”：[{“id”：https://openalex.org/I100005738“，”display_name“：”杨百翰大学“，”ror“：”https://ror.org/047rhhm47“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I100005738“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”E.Mercer“，”raw _affiliation_strings“：[“杨百翰大学”]，”affiliations“：[{”raw _affiliation_string“：”杨百翰学院“，”institution_ids“：[https://openalex.org/I100005738“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5014529986“，”display_name“：”Chris J.Myers“，”orcid“：”https://orcid.org/0000-0002-8762-8444}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”C.Myers“，”raw _affiliation_strings“：[“国家信息学研究所”，]，”affiliations“：[{”raw _affiliation_string“：”国家信息学研究所，“，”institution_ids“：]”https://openalex.org/I184597095“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：4，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：0.685，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：2，“citation_normalized_percentile”：{“value”：0.48 63296，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：66，”max“：70}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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.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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9995，”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/keywords/datapath“，”display_name“：”Datapath“，”score“：0.8115076}，{”id“：”https://openalex.org/keywords/partial-order-reduction网站“，”display_name“：”部分订单减少“，”score“：0.71537834}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.558307}，{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.550496}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.5205}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.514788}，{”id“：”https://openalex.org/keywords/formal-methods网站“，”display_name“：”形式方法“，”score“：0.500449}，{”id“：”https://openalex.org/keywords/异步电路“，”display_name“：”异步电路“，”score“：0.4739045}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8188984}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.81584907}，{”id“：”https://openalex.org/C2781198647，“wikidata”：https://www.wikidata.org/wiki/Q1633673“，”display_name“：”Datapath“，”level“：2，”score“：0.8115076}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.73661435}，{”id“：”https://openalex.org/C94633896，“wikidata”：https://www.wikidata.org/wiki/Q7140378“，”display_name“：”部分订单减少“，”level“：3，”score“：0.71537834}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.6468533}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.63449574}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.623849}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.5276995}，{”id“：”https://openalex.org/C87695204，“wikidata”：https://www.wikidata.org/wiki/Q629971“，”display_name“：”异步电路“，”level“：5，”score“：0.4739045｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.46962857}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.46726435}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.45846874}，{”id“：”https://openalex.org/C2778143727，“wikidata”：https://www.wikidata.org/wiki/Q1820650“，”display_name“：”可读性“，”level“：2，”score“：0.4448198}，{”id“：”https://openalex.org/C111335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.4377836}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.43622375}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4174285}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37397474}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.1898908}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.1039719｝，｛”id“：”https://openalex.org/C134652429网址，“wikidata”：https://www.wikidata.org/wiki/Q1052698“，”display_name“：”Jitter“，”level“：2，”score“：0.08193377}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C137059387，“wikidata”：https://www.wikidata.org/wiki/Q426882“，”display_name“：”Clock signal“，”level“：3，”score“：0.0｝，｛”id“：”https://openalex.org/C42196554，“wikidata”：https://www.wikidata.org/wiki/Q1186179“，”display_name“：”同步电路“，”level“：4，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/prdc.2002.1185640“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://schoolrsarchive.byu.edu/facpub/1069，“pdf_url”：https://schoolrsarchive.byu.edu/cgi/viewcontent.cgi？article=2068&context=facpub，“源”：{“id”：https://openalex.org/S4377196308“，”“display_name”“：”“学者档案（杨百翰大学）”“，”https://openalex.org/I100005738“，”“host_organization_name”：“杨百翰大学”，“host_organization_lineage”：[“https://openalex.org/I100005738“]，”host_organization_lineage_names“：[”杨百翰大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://schoolrsarchive.byu.edu/facpub/1069，“pdf_url”：https://schoolrsarchive.byu.edu/cgi/viewcontent.cgi？article=2068&context=facpub，“源”：{“id”：https://openalex.org/S4377196308“，”“display_name”“：”“学者档案（杨百翰大学）”“，”https://openalex.org/I100005738“，”“host_organization_name”：“杨百翰大学”，“host_organization_lineage”：[“https://openalex.org/I100005738“]，”host_organization_lineage_names“：[”杨百翰大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W130102441","https://openalex.org/W1490128362","https://openalex.org/W1491037212","https://openalex.org/W1560730347","https://openalex.org/W1570626776","https://openalex.org/W1595213177","https://openalex.org/W1793691888","https://openalex.org/W180991895","https://openalex.org/W1929479867","https://openalex.org/W2039330627","https://openalex.org/W2106387547","https://openalex.org/W2139058449","https://openalex.org/W2148325438","https://openalex.org/W2277041087","https://openalex.org/W8534063“]，”related_works“：[”https://openalex.org/W756703083","https://openalex.org/W4210841712","https://openalex.org/W2171674700","https://openalex.org/W2162743530网址","https://openalex.org/W2145025660","https://openalex.org/W2138197942","https://openalex.org/W2104167653","https://openalex.org/W2049993111","https://openalex.org/W1922520186","https://openalex.org/W1903167137“]，”abstract_inverted_index“：{”Using“：[0]，”a“：[1,34,53]，”level-oriented“：[2,54]，”model“：[3,22,35,56]，”for“：[4]，”verification“：[5]，”of“：[6,79]，”asynchronous“：[7]，”circuits“：[8]，”helps“：[9]，”users“：[10]，”to“：[11,20,31,40]，”easyly“：[12]，”construct“：[13]，”formal“：[14,55]，“型号”：[15]，“有”：[16]，“高”：[17]，“可读性”：[18]，“或”：[19]，“自然地“：[21]，”数据路径“：[23]，”电路。“：[24]，“开”：[25]，“the”：[26,42,77,80]，“other”：[27]，“hand，”：[28]，“in”：[29]，“order”：[30,67]，“use”：[32]，“such”：[33]，“On”：[36,58]，“large”：[37]，“circuits”：[38]，“technologies”：[39]，“avoid”：[41]，“state”：[C3,73]，“explosion”：[44]，“problem”：[45]，“must”“：[46]，”be“：[47]，”developed。“：[48]，“This”：[49]，“paper”：[50]，“first”：[51]，“investings”：[52]，“based”：[57]，“time”：[59]，“Petri”：[60]，“nets，”：[61]，“and”：[62]，“then”：[63]，“proposes”：[64]，“its”：65]，“partial”：[66]，“reducation”：[68]，“algorithma”：[69]，“that”：[70]，“prunes”：【71】，“unnecessary”：[72]，“生成”：[74]，“while”：[75]，“保证”：[76]，“正确性”：[78]，“验证”。“：[81]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2116027328“，”counts_by_year“：[]，”updated_date“：”2024-09-26T23:45:25.159284“，”创建日期“：”2016-06-24“}