｛“id”：“https://openalex.org/W2096491753“，”doi“：”https://doi.org/10.1109/qest.2006.2“，”title“：”支持基于标记客户方法的自动分析的工具“，”display_name“：”支持基于标记客户方法的自动分析的工具“，”publication_year“：2006，”publication_date“：”2006-01-01“，”ids“：｛”openalex“：”https://openalex.org/W2096491753“，”doi“：”https://doi.org/10.1109/qest.2006.2“，”mag“：”2096491753“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/qest.2006.2“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”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“：”http://webspn.hit.bme.hu/~telek/cikkek/bodr06a.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5058423790“，”display_name“：”Mikl\u00f3s Telek“，”orcid“：”https://orcid.org/0000-0001-9600-6084}，“机构”：[{“id”：https://openalex.org/I4210161853“，”display_name“：”布达佩斯研究所“，”ror“：”https://ror.org/050hvq478“，”country_code“：”HU“，”type“：”facility“，”沿袭“：[”https://openalex.org/I4210161853“]}，{”id“：”https://openalex.org/I106118109“，”display_name“：”E\u00f6tv\u00f 6s Lor\u00e1第二大学“，”ror“：”https://ror.org/01jsq2704“，”country_code“：”HU“，”type“：“教育”，”世系“：[”https://openalex.org/I106118109“]}]，”国家“：[”HU“]，”is_corresponding“：false，”raw_author_name“：”Miklos Telek“，”raw _ afiliation_strings“：[“匈牙利布达佩斯科技大学”]，”affiliations“：[{”raw _affiliation_strong“：”匈牙利布达佩科技大学”，“institution_ids”：[“https://openalex.org/I4210161853","https://openalex.org/I106118109“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5043060893“，”display_name“：”S\u00e1ndor R\u00e 1cz“，”orcid“：”https://orcid.org/0000-0001-9955-924X}，“机构”：[{“id”：https://openalex.org/I4210161853“，”display_name“：”布达佩斯研究所“，”ror“：”https://ror.org/050hvq478“，”“country_code”“：”HU“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210161853“]}，{”id“：”https://openalex.org/I106118109“，”display_name“：”E\u00f6tv\u00f 6s Lor\u00e1第二大学“，”ror“：”https://ror.org/01jsq2704“，”country_code“：”HU“，”type“：“教育”，”世系“：[”https://openalex.org/I106118109“]}]，”国家“：[”HU“]，”is_corresponding“：false，”raw_author_name“：”Sandor Racz“，”raw _ afiliation_strings“：[“匈牙利布达佩斯科技大学”]，”affiliations“：[{”raw _affiliation_strong“：”匈牙利布达帕斯科技大学“，”institution_ids“：[https://openalex.org/I4210161853","https://openalex.org/I106118109“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076419421“，”display_name“：”G\u00e1bor Horv\u001th“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210161853“，”display_name“：”布达佩斯研究所“，”ror“：”https://ror.org/050hvq478“，”“country_code”“：”HU“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210161853“]}，{”id“：”https://openalex.org/I106118109“，”display_name“：”E\u00f6tv\u00f 6s Lor\u00e1第二大学“，”ror“：”https://ror.org/01jsq2704“，”country_code“：”HU“，”type“：“教育”，”世系“：[”https://openalex.org/I106118109“]｝]，”国家“：[”HU“]，”is_corresponding“：false，”raw_author_name“：”Gabor Horvath“，”raw_affiation_strings“：[”匈牙利布达佩斯技术大学“]，”附属机构“：[｛”raw_affiation_string“：”匈牙利布达佩斯技术大学“，”institution_ids“：[”https://openalex.org/I4210161853","https://openalex.org/I106118109“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5057481438“，”display_name“：”Levente Bodrog“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210161853“，”display_name“：”布达佩斯研究所“，”ror“：”https://ror.org/050hvq478“，”“country_code”“：”HU“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210161853“]}，{”id“：”https://openalex.org/I106118109“，”display_name“：”E\u00f6tv\u00f 6s Lor\u00e1第二大学“，”ror“：”https://ror.org/01jsq2704“，”country_code“：”HU“，”type“：“教育”，”世系“：[”https://openalex.org/I106118109“]]，”国家“：[”HU“]，”is_corresponding“：false，”raw_author_name“：”Levente Bodrog“，”raw_affiation_strings“：[”匈牙利布达佩斯技术大学“]，”附属机构“：[{”raw_affiation_string“：”匈牙利布达佩斯技术大学“，”institution_ids“：[”https://openalex.org/I4210161853","https://openalex.org/I106118109“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：null，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：3，”cited_by_percentile_year“：{”min“：75，”max“：77}，”biblio““：{”volume“：null，”issue“：null，”first_page“：null.”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9929，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9929，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.9901，“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.987，“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/model-checking“，”display_name“：”模型检查“，”score“：0.520877}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69844836}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/qest.2006.2“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.498.8744，“pdf_url”：http://webspn.hit.bme.hu/~telek/cikkek/bodr06a.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.498.8744，“pdf_url”：http://webspn.hit.bme.hu/~telek/cikkek/bodr06a.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：18，“referrenced_works”：]”https://openalex.org/W1485650462","https://openalex.org/W1488584612","https://openalex.org/W1587236616","https://openalex.org/W179346608","https://openalex.org/W1971281534","https://openalex.org/W1973878004网址","https://openalex.org/W1996989781","https://openalex.org/W1998208847","https://openalex.org/W2062573385","https://openalex.org/W2073107519","https://openalex.org/W2084953600","https://openalex.org/W2090825210","https://openalex.org/W2099568263","https://openalex.org/W2105361165","https://openalex.org/W2114575042","https://openalex.org/W2119239145","https://openalex.org/W2125739093","https://openalex.org/W2129091052“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W2096491753/ngrams“，”“abstract_inverted_index”：{“The”：[0,17,91]，“analysis”：[1,23,35,64111125]，“of”：[2,24,36,49,56,60,70,79,86,94113122136145]，“performance”：[3,63,72159]，“models”：[4144153]，“based”：[5]，“on”：[6106150]，“The”：[7,21,29,33,47,50,54,61,67,80,87101107116120123133137142158]，“tagged”：[8]，“customer”“：[9]，”方法“：[10]，”是“：[11,20,32,44,97103]，”组成“：[12]，”由“：[13]，”两个“：[14,8]，”主要“：[15]，”步骤。“：[16]，”第一“：[18,51]，”一“：[19,31154]，”静止“：[22]，”a“：[25]，”马尔可夫“：[26,38109]，”链“：[27]，”和“：[28100132147164]，”第二“：[30]，”瞬时“：[34]，”另一“：[37]，”（奖励）“：[39]，”模型“：[40110]，”其“：[41]，”初始“：[42]，”分布“：[43]，”派生“：[45]，“来自”：[46]，“结果”：[48]，“步骤。“：[52]，“收件人”：[53127]，“最佳”：[55]，“我们的”：[57]，“知识”：[58]，“无”：[59]，“现有”：[62108]，“工具”：[65]，“允许”：[66]，“自动”：[68,84124]，“评估”：[69]，“这些”：[71151]，“模型”。“：[73]，“This”：[74]，“paper”：[75]，“presents”：[76]，“an”：[77]，“extension”：[78,96]，“MRMSolve”：[81143152]，“tool”：[82139]，“for”：[83]，“execution”：[85]，“steps”：[89]，“procedure”。“：[90]，”理论“：[92]，”背景“：[93]，”此“：[95]，”井“：[98]，”建立“：[99]，”实现“：[102]，”建成“：[104]，”主要“：[105]，”功能“：[112]，”MRMSolve“：[114]，”因此“：[115]，”贡献“：[117]，”谎言“：[118]，”in“：[1119162]，”可用性“：[121]，”工具。“：[126]，”演示“：[128]，”建模“：[130]，”能力“：[131]，”实用“：[134]，”重要性“：[135]，”新“：[138]，”我们“：[140]，”现在“：[141]，”[7]“：[146163]，”[08]。“：[148165]，”基于“：[149]，”可以“：[155]，”自动“：[156]，”生成“：[157]，”度量“：[160]，”呈现“：[161]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2096491753“，”counts_by_year“：[]，”updated_date“：”2024-06-27T08:29:09.169429“，”created_dates“：”2016-06-24“}“