{“id”：“https://openalex.org/W1495070565“，”doi“：”https://doi.org/10.1007/978-3-540-79709-8_36“，”title“：”使用彩色Petri网对电信系统进行建模和验证“，”display_name“：”使用彩色Petri网对电信系统进行建模和验证“，”publication_year“：2008，”publication_date“：”2008-05-13“，”ids“：｛”openalex“：”https://openalex.org/W1495070565“，”doi“：”https://doi.org/10.1007/978-3-540-79709-8_36“，”mag“：”1495070565“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-79709-8_36“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5008518392“，”display_name“：”V.A.Nepominaschy“，”orcid“：”https://orcid.org/0000-0003-1364-5281}，“机构”：[{“id”：https://openalex.org/I4210127387“，”display_name“：”俄罗斯科学院西伯利亚分院“，”ror“：”https://ror.org/02frkq021“，”country_code“：”RU“，”type“：“政府”，”世系“：[”https://openalex.org/I1313323035","https://openalex.org/I4210127387“]}]，”countries“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Valery Neponiaschy“，”raw _ afiliation_strings“：【”俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部A.P.Ershov信息系统研究所“】，”affiliations“：[{”raw _affiliation_strong“：”A.P。俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部Ershov信息系统研究所”，“institution_ids”：[“https://openalex.org/I4210127387“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056957921“，”display_name“：”Dmitry Beloglazov“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210127387“，”display_name“：”俄罗斯科学院西伯利亚分院“，”ror“：”https://ror.org/02frkq021“，”country_code“：”RU“，”type“：“政府”，”世系“：[”https://openalex.org/I1313323035","https://openalex.org/I4210127387“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Dmitry Beloglazov“，”raw _ afiliation_strings“：[“A.P.Ershov信息系统研究所，俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部”]，”affiliations“：[{”raw _affiliation_string“：”A.P。俄罗斯新西伯利亚俄罗斯科学院西伯利亚分院埃尔绍夫信息系统研究所”，“Institute_ids”：[https://openalex.org/I4210127387“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5033790904“，”display_name“：”T.G.Churina“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210127387“，”display_name“：”俄罗斯科学院西伯利亚分院“，”ror“：”https://ror.org/02frkq021“，”country_code“：”RU“，”type“：“政府”，”世系“：[”https://openalex.org/I1313323035","https://openalex.org/I4210127387“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Tatiana Churina“，”raw _affiliation_strings“：[“A.P.Ershov信息系统研究所，俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部”]，”affiliations“：[{”raw _affiliation_string“：”A.P。俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部Ershov信息系统研究所”，“institution_ids”：[“https://openalex.org/I4210127387“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066929422“，”display_name“：”余先生。Mashukov“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210127387“，”display_name“：”俄罗斯科学院西伯利亚分院“，”ror“：”https://ror.org/02frkq021“，”country_code“：”RU“，”type“：“政府”，”世系“：[”https://openalex.org/I1313323035","https://openalex.org/I4210127387“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Mikhail Mashukov“，”raw _affiliation_strings“：[“A.P.Ershov信息系统研究所，俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部”]，”affiliations“：[{”raw _affiliation_string“：”A.P。俄罗斯新西伯利亚俄罗斯科学院西伯利亚分部Ershov信息系统研究所”，“institution_ids”：[“https://openalex.org/I4210127387“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]、”correspounding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nul，”fwci“：1.824，”has_fulltext“：false，”cited_by_count：6，”citation_normalized_percentile“：{”value“：0.698157，”is_in_top_1_percent“：false，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：80，”max“：81}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“360”，“last_page”：“371”}，《is_retracted》：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9992，“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.9992，“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.9988，“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/T10679“，”display_name“：”QoS-Aware Web服务组合和语义匹配“，”score“：0.9972，”subfield“：{”id“：”https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.556128}，{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.555436}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.548315}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.522681}，{”id“：”https://openalex.org/keywords/petri-nets网站“，”display_name“：”Petri Nets“，”score“：0.514149}]，”concepts“：[{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.9148274｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79966867}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.64026076}，{”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.5474215}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.46102554}，{”id“：”https://openalex.org/C12269588，“wikidata”：https://www.wikidata.org/wiki/Q132364“，”display_name“：”通信协议“，”level“：2，”score“：0.44945306}，{”id“：”https://openalex.org/C197698232，“wikidata”：https://www.wikidata.org/wiki/Q2354216“，”display_name“：”电话网络“，”level“：2，”score“：0.41114712}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.38572237}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.35733622}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：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/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”Pathology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928网址“，”display_name“：”信使核糖核酸“，”level“：3，”score“：0.0｝，｛”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-79709-8_36“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”“host_organization_lineage_names”：[“Springer Nature”]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：【】，“dataset”：【]，“versions”：【版本】，“referenced_works_count”：23，“referrenced_works”：〔”https://openalex.org/W1491103651","https://openalex.org/W1495360349","https://openalex.org/W1508720389","https://openalex.org/W1534850333","https://openalex.org/W1555281169","https://openalex.org/W1556566737","https://openalex.org/W1583775158","https://openalex.org/W2000292387","https://openalex.org/W2009983102","https://openalex.org/W2114140119","https://openalex.org/W2122233354","https://openalex.org/W2122948231","https://openalex.org/W2124790413","https://openalex.org/W2160260781","https://openalex.org/W2170013995","https://openalex.org/W2288787775","https://openalex.org/W2422272475","https://openalex.org/W2488556700","https://openalex.org/W2488888350","https://openalex.org/W2489834657","https://openalex.org/W2495008722","https://openalex.org/W4230358300","https://openalex.org/W4241212268“]，”related_works“：[”https://openalex.org/W4298212052","https://openalex.org/W4254015142","https://openalex.org/W4230983483","https://openalex.org/W2740821854","https://openalex.org/W2409714959","https://openalex.org/W2392986374","https://openalex.org/W2390164899","https://openalex.org/W2388330702","https://openalex.org/W2069740629","https://openalex.org/W1551257573“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1495070565“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}，{”年份“：2012，”cited_by_count”：1}]，”更新日期“：”2024-09-19T07:47:12.990555“，”创建日期“：“2016-06-24”}