{“id”：“https://openalex.org/W2102905421“，”doi“：”https://doi.org/10.109/32.4651“，”title“：“PROTEAN:一个用于通信协议规范和验证的高级Petri网工具”，“display_name”：“PROTEM:一个用来通信协议规范与验证的高级Petri网工具“，”publication_year“：1988，”publitation_date“：”1988-03-01“，”ids“：{”openalex“：”https://openalex.org/W2102905421“，”doi“：”https://doi.org/10.109/32.4651“，”mag“：”2102905421“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/32.4651“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S8351582“，”display_name“：”IEEE软件工程事务“，”issn_l“：”0098-5589“，”isn“：[”00985589“，”1939-3520“，”2326-3881“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320439“，”“host_organization_name”：“IEEE Computer Society”，“host_ordanization_lineage”：[“https://openalex.org/P4310320439","https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”IEEE Computer Society“，”Institute of Electrical and Electronics Engineers“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jordal-article”，“indexed_in”：[“crossref”]，“open_access”：{“is_oa”：false，“oa_status”closed”，“oa_url”：null，“any_repository_has_fulltext”：false｝，“authorships”：[｛“author_position”：“first”，“author”：｛“id”：“https://openalex.org/A5022705898“，”display_name“：”Jonathan Billington“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”J.Billington“，”raw_affiliation_strings“：[“[剑桥大学计算实验室]”]，”从属关系“：[{”raw_affiliation_string“：”[剑桥大学计算机实验室]“，”institution_ids“：[https://openalex.org/I241749“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5009114555“，”display_name“：”G.R.Wheeler“，”orcid“：null}，”institutions“：[]，”countries“：[”AU“]，”is_corresponding“：false，”raw_author_name“:”G.R.Wheler“，”raw _affiliation_strings“：【”Res.Labs.，Telecom Australia，Clayton，Vic.，Australias“】，“afliations”：[{”raw _affiliations_string“：”Res.Labs.，Telecom Austraia，Clayto，Vic.]}个]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5053471461“，”display_name“：”Michael C.Wilbur-Ham“，”orcid“：null}，”institutions“：[]，”countries“：[”AU“]，”is_corresponding“：false，”raw_author_name“:”M.C.Wilbur-Ham“，”raw _affiliation_strings“：【”Res.Labs.，Telecom Australia，Clayton，Vic.，Australias“】，”affiliations“：{”raw_affiliation_string“：”Res.Labs.，Telecom Austraia，Clayto，Vic..，Austraia“，”institution_ids“：[]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：1，”corresponding_author_ids”：[]，“correspounding_institution_ids”：[】，“apc_list”：null，“apc _ paid”：nul，“fwci”：12.397，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：149，“citation_normalized_percentile”：{“值”：0.951467，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：97，”max“：98}，“biblio”：{“volume”：“14”，”issue“：”3“，”first_page“：”301“，”last_page“：”316“}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/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.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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.998，”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/petri-nets网站“，”display_name“：”Petri网“，”score“：0.557257}，{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.549931}，{”id“：”https://openalex.org/keywords/工作站“，”display_name“：”Workstation“，”score“：0.5418289}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8796563}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.8386922}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.76543707}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7096316}，{”id“：”https://openalex.org/C149810388，“wikidata”：https://www.wikidata.org/wiki/Q5374873“，”display_name“：”Emulation“，”level“：2，”score“：0.5950337}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.582847}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.57943016}，{”id“：”https://openalex.org/C67953723，“wikidata”：https://www.wikidata.org/wiki/Q192525“，”display_name“：”Workstation“，”level“：2，”score“：0.5418289}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.49165422}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.42129186}，{”id“：”https://openalex.org/C12269588，“wikidata”：https://www.wikidata.org/wiki/Q132364“，”display_name“：”通信协议“，”level“：2，”score“：0.41332614}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.41321284}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.41261894}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.38769078}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36009228｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.20432499}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：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/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C50522688，“wikidata”：https://www.wikidata.org/wiki/Q189833“，”display_name“：”经济增长“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/32.4651“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S8351582“，”display_name“：”IEEE软件工程汇刊“，”issn_l“：”0098-5589“，”issn“：[”0098-5589“，”1939-3520“，”2326-3881“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320439“，”“host_organization_name”：“IEEE Computer Society”，“host_ordanization_lineage”：[“https://openalex.org/P4310320439","https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”IEEE Computer Society“，”Institute of Electrical and Electronics Engineers“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grant:[]，”datasets“：[]”，“versions”：[[]，“referenced_works_count“：64，”referenced_works“：[”https://openalex.org/W129373605","https://openalex.org/W129716784","https://openalex.org/W13756767网址","https://openalex.org/W1482875841","https://openalex.org/W1485881060","https://openalex.org/W1502942777","https://openalex.org/W152304696网址","https://openalex.org/W1531167269","https://openalex.org/W1535155018","https://openalex.org/W1546063219","https://openalex.org/W1567310162","https://openalex.org/W1569068921","https://openalex.org/W1573192249","https://openalex.org/W1594259690","https://openalex.org/W1600849051","https://openalex.org/W1607744644网址","https://openalex.org/W1608493208","https://openalex.org/W1759934887","https://openalex.org/W1759991539","https://openalex.org/W192053091","https://openalex.org/W1978358700","https://openalex.org/W1994188141","https://openalex.org/W1997422892","https://openalex.org/W2039812824","https://openalex.org/W2052423355","https://openalex.org/W2055655661","https://openalex.org/W207131139","https://openalex.org/W2087827641","https://openalex.org/W2088546322","https://openalex.org/W2095622162","https://openalex.org/W2103953153","https://openalex.org/W2113355185","https://openalex.org/W2117189826","https://openalex.org/W2132334337网址","https://openalex.org/W2133636387","https://openalex.org/W21371323","https://openalex.org/W2137865376","https://openalex.org/W2138620071","https://openalex.org/W2174382227","https://openalex.org/W2175982508","https://openalex.org/W2253659467","https://openalex.org/W2327843923","https://openalex.org/W2477698825","https://openalex.org/W2490947532","https://openalex.org/W2500256126","https://openalex.org/W2505960745","https://openalex.org/W2589217375","https://openalex.org/W26399994736","https://openalex.org/W2664559385","https://openalex.org/W2684124822","https://openalex.org/W2916064013","https://openalex.org/W3021908873","https://openalex.org/W3023064319","https://openalex.org/W3144368627","https://openalex.org/W376790191","https://openalex.org/W4229501467","https://openalex.org/W4249538237","https://openalex.org/W4253782845","https://openalex.org/W47180256","https://openalex.org/W590853398","https://openalex.org/W599966031","https://openalex.org/W628100629","https://openalex.org/W7710831","https://openalex.org/W77777525“]，”related_works“：[”https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1979390572","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W1553537032","https://openalex.org/W1544097700","https://openalex.org/W1495250406“]，”abstract_inverted_index“：{“The”：[0,93]，“PROTEAN”：[1,83,96]，“protocol”：[2,33107]，“emulation”：[3]，“and”：[4,23,28,49,56,75,82,87]，“analysis”：[5,60]，“computer”：[6]，“aid”：[7]，“is”：[8,11100110]，“presented.”：[9]，“It”：[10]，“based”：[12]，“on”：[13,70]，“a”：[14,90105]，“形式”：[15]，“规范”：[16]，“技术”：[17]，“调用”：[18]，“数值”：[19]，“Petri“：[20,77]，“网络”：[21]，“（NPN），”：[22]，“提供”：[24]，“两者”：[25]，“图形”：[26]，“颜色”：[27]，“文本”：[29]，“接口”：[30]，“to”：[31,42,97]，“the”：[32,80]，“designer”。“：[34]，”NPN“：[35,81]，”规范“：[36]，”可能“：[37]，”被“：[38]，”创建“：[39]，”存储“：[40]，”附加“：[41]，”其他“：[43]，”NPN，“：[44]，”结构化“：[45]，”编辑“：[46]，”列出“：[47]，”显示“：[48]，”分析。描述了“：[50]，“交互式”：[51]，“模拟”：[52]，“详尽”：[53]，“可达性”：[54]，“分析”：[55]，“多个”：[57]，“定向”：[58]，“图形”：[59]，“设施”：[61,84]，“是”：[62,66,85]。“：[63]，”规范“：[64]，”语言“：[65]，”比较“：[67]，”与“：[68,89]，”浓度“：[69]，”扩展“：[71]，”有限“：[72]，”状态“：[73]，”机器“：[74]，”高级“：[76]，”网络。“：[78]，”Both“：[79]，”descripted“：[86]，”illuminated“：[88]，”simple“：[91]，”example“。“：[92]，”应用程序“：[94]，”的“：[95]，”复杂“：[98]，”示例“：[99]，”提及的“：[101]，”简要。讨论了“：[102]，“工作”：[103]，“朝向”：[104]，“综合”：[106]，“工程”：[108]，“工作站”：[109]，“也”：[111]<":[112],">“：[115]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2102905421“，”counts_by_year“：[{年：2021，”cited_by_count“：1}，{年“：2019，”cited_by_count”：1}，{“年”：2018，”citecd_by_count“：2}，”{“年份”：2016，”citted_by_count“:4}，“年份”:2015，”citesd_by-count“:4}、{“年度”：2014，”cieted_by/count“:1}，d_date“：”2024-09-26T23:29:27.423277“，”创建日期“：”2016-06-24“}