{“id”：“https://openalex.org/W1494027681“，”doi“：”https://doi.org/10.1007/3-540-61363-3_9“，”title“：“使用有色Petri网和设计/CPN\u2122设计和验证通信网关”，”display_name“：”使用有色Petri-nets和设计/CNN\u2121设计和验证通讯网关“，”publication_year“：1996，”publiation_date“：”1996-01-01“，”ids“：{”openalex“：”https://openalex.org/W1494027681“，”doi“：”https://doi.org/10.1007/3-540-61363-3_9“，”mag“：”1494027681“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-61363-3_9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5030964483“，”display_name“：”Daniel Floreani“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I170239107“，”display_name“：”南澳大利亚大学“，”ror“：”https://ror.org/01p93h210“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I170239107“]}，{”id“：”https://openalex.org/I1303474014“，”display_name“：”国防科技集团“，”ror“：”https://ror.org/05ddrvt52“，”“country_code”“：”AU“，”type“：”government“，”seriance“：[”https://openalex.org/I1303474014","https://openalex.org/I2801453606","https://openalex.org/I3139952251“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”D.J.Floreani“，”raw _affiliation_strings“：[“国防科技组织（DSTO）”，“南澳大利亚大学（U-SA）”]，”affiliations“：[{”raw _affiliation_string“：”南澳大利亚大学https://openalex.org/I170239107“]}，{”raw_affiliation_string“：”国防科技组织（DSTO）“，”institution_ids“：[”https://openalex.org/I1303474014“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5022705898“，”display_name“：”Jonathan Billington“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I170239107“，”display_name“：”南澳大利亚大学“，”ror“：”https://ror.org/01p93h210“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I170239107“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”J.Billington“，”raw_affiliation_strings“：[“南澳大利亚大学（U-SA）”]，”affiliations“：[{”raw_affiliation_string“：”南澳大利亚大学https://openalex.org/I170239107“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5089271210“，”display_name“：”Arek Dadej“，”orcid“：”https://orcid.org/0000-0001-7293-2745}，“机构”：[{“id”：https://openalex.org/I170239107“，”display_name“：”南澳大利亚大学“，”ror“：”https://ror.org/01p93h210“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I170239107“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”A.Dadej“，”raw _ affiliation_strings“：[“南澳大利亚大学（U-SA）”]，”affiliation“：[{”raw _affiliation_string“：”南澳大利亚大学https://openalex.org/I170239107“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.301，“has_fulltext”：true，“fulltext_o”rigin“：”ngrams“，”cited_by_count“：21，”引用_规范化_percentile“：{”value“：0.790732，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：85，“max”：86}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“153”，“last_page”：“171”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9958，“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.9958，“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.9917，“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.9867，”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/petri-nets网站“，”display_name“：”Petri网“，”score“：0.554452}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.542886}，{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.529398}，{”id“：”https://openalex.org/keywords/gateway网站“，”display_name“：”网关（网页）“，”分数“：0.49814272}]，”概念“：[{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.8728875}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7959327}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7268318}，{”id“：”https://openalex.org/C2777710495，“wikidata”：https://www.wikidata.org/wiki/Q5527195“，”display_name“：”网关（网页）“，”级别“：2，”分数“：0.49814272}，{”id“：”https://openalex.org/C187713609，“wikidata”：https://www.wikidata.org/wiki/Q2465461“，”display_name“：”Default gateway“，”level“：2，”score“：0.45722264｝，｛”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.448862}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.39674908}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.25541002}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-61363-3_9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：nuld，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“，”score“：0.44｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：13，”referenced_works“：[”https://openalex.org/W1529646094","https://openalex.org/W1533922421","https://openalex.org/W1534850333","https://openalex.org/W1546063219","https://openalex.org/W1546907442","https://openalex.org/W1608493208","https://openalex.org/W1862683657","https://openalex.org/W1998104425","https://openalex.org/W2024167719","https://openalex.org/W2102905421","https://openalex.org/W2104293663","https://openalex.org/W2129023274","https://openalex.org/W2131128004“]，”related_works“：[”https://openalex.org/W76359671","https://openalex.org/W4234803302","https://openalex.org/W3045301923","https://openalex.org/W2915304347","https://openalex.org/W2794872059","https://openalex.org/W2404647514","https://openalex.org/W2122599377","https://openalex.org/W2080562317","https://openalex.org/W1667647204","https://openalex.org/W1518499115“]，”abstract_inverted_index“：{”A“：[0]，”网关“：[1,40,56]，”介于“：[2]，”A“：[3,15]，”分组“：[4]，”无线电“：[5]，“网络”：[6]，“和”：[7,42,63,76,95]，“B-ISDN”：[8]，“是”：[9,93]，“正在”：[10]，“设计”：[11]，“作为”：[12]，“部分”：[13]，“的”：[14,48,5]4,78,89]，“较大”：[16]，“项目”：[17]，“that”：[18]，“aims”：[19]，“to”：[20,25,37,45]，“bring”：[21]，“modem”：[22]，“电信”：[23]，“服务”：[24]，“the”：[26，39，49，52，55，64，79，84，9010]，“Australian”：[27]，“Defense”：[28]，“Force”。“：[29]，”The“：[30,67,87]，”modeling“：[31,50]，”procedure“：[32]，”imployees“：[33]，”Coloured“：[34,60]，”Petri“：[35,61]，”Nets“：[36,62]，”investive“：[38]，”architecture“：[41]，”behavior“：[43]，”previor“:[44]，”实现。“：[46]，”部分“：[47]，”涉及“：[51]，”规范“：[53,68,92]，”调用“：[57]，”控制“：[58]，”使用“：[59,99]，”设计/CPN\u2122“：[65,85]，”工具。“：[66,86]，”then“：[70]，”checked“：[71]，”for“：[72]，”correctivity“：[73]，”by“：[74,83]，”simulation“：[75]，”observation“：77]，”Occurrence“：[80]，”Graph“：[81]，”generated“：[82]，”form“：[88]，”refined“：[C1]，”discussed“：/94]，”future“：[96]，”verification“：/97]，”tests“：[98]，”PROTEAN“：[101]，”工具“：[102]，”概述“：[103]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=引用：W1494027681“，”counts_by_year“：[{”年份“：2016，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-09-26T17:07:00.277715“，”created_date“：”2016-06-24“}