｛“id”：“https://openalex.org/W1481091958“，”doi“：”https://doi.org/10.1007/3-540-44988-4_18“，”title“：”A Compositional Model of Time Petri Nets“，”display_name“：”A Compositionional Model of Time-Petri Nets”，“publication_year”：2000，“publitation_date”：“2000-01-01”，“ids”：{“openalex”：“https://openalex.org/W1481091958“，”doi“：”https://doi.org/10.1007/3-540-44988-4_18“，”mag“：”1481091958“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44988-4_18“，”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/A5042490356“，”display_name“：”Maciej Koutny“，”orcid“：”https://orcid.org/0000-0003-4563-1378}，“机构”：[{“id”：https://openalex.org/I84884186“，”display_name“：”纽卡斯尔大学“，”ror“：”https://ror.org/01kj2bm70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I84884186“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Maciej Koutny“，”raw _affiliation_strings“：[“纽卡斯尔大学计算科学系，纽卡斯尔-泰恩河畔纽卡斯尔，NE1 7RU，UK”]，”affiliations“：[{”raw _affiliation_string“：”纽卡斯尔州立大学计算科学部，纽卡斯尔泰恩河岸纽卡斯尔市，NE1 7 RU，英国“，”机构ID“：[”https://openalex.org/I84884186“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5042490356“]，”对应的机构ID“：[”https://openalex.org/I84884186“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：3.215，”has_fulltext“：false，”cited_by_count“：26，”cited_by_percentile_year“：{“min”：88，“max”：89}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“303”，“lastage”：“322”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“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.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.9989，“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/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9987，”subfield“：{”id“：”https://openalex.org/subfields/s404“，”display_name“：”管理信息系统“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/stocautic-petri-nets网站“，”display_name“：”随机Petri网“，”score“：0.54528}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.53921}，{”id“：”https://openalex.org/keywords/process-modeling-languages“，”display_name“：”Process Modeling Languages“，”score“：0.516782}，{”id“：”https://openalex.org/keywords/petri-nets网站“，”display_name“：”Petri网“，”score“：0.515392}，{”id“：”https://openalex.org/keywords/conformance-checking网站“，”display_name“：”一致性检查“，”score“：0.507474}]，”concepts“：[{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.9381599｝，｛”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.8079059}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7103766}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.62994695}，{”id“：”https://openalex.org/C136155141，“wikidata”：https://www.wikidata.org/wiki/Q7247260“，”display_name“：”进程体系结构“，”level“：3，”score“：0.6039095}，{”id“：”https://openalex.org/C197551870，“wikidata”：https://www.wikidata.org/wiki/Q7617809“，”display_name“：”随机Petri网“，”level“：3，”score“：0.545097｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5151745}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49817276}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.49493283}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.47073922}，{”id“：”https://openalex.org/C146763376，“wikidata”：https://www.wikidata.org/wiki/Q81714“，”display_name“：”Petri dish“，”level“：2，”score“：0.44618198}，{”id“：”https://openalex.org/C90559484，“wikidata”：https://www.wikidata.org/wiki/Q778379“，”display_name“：”Expression（computer science）“，”level“：2，”score“：0.44320926}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.43713236｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33875823}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.1728352}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.111123204}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44988-4_18“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：13，“referenced_works“：[”https://openalex.org/W119570465","https://openalex.org/W1484116835","https://openalex.org/W1495820984","https://openalex.org/W1559104316","https://openalex.org/W1565525547","https://openalex.org/W1604240241","https://openalex.org/W1996109622","https://openalex.org/W2036836043","https://openalex.org/W2042801853","https://openalex.org/W2141381202","https://openalex.org/W2151612633","https://openalex.org/W4244719572","https://openalex.org/W587269134“]，”related_works“：[”https://openalex.org/W2381491984","https://openalex.org/W2380620445","https://openalex.org/W2362023948","https://openalex.org/W2352499080","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W2064254377","https://openalex.org/W2016989291","https://openalex.org/W1847176793","https://openalex.org/W1543378523“]，”ngrams_url“：”https://api.openalex.org/works/W1481091958/ngrams“，”abstract_inverted_index“：｛”This“：[0]，”paper“：[1]，”presents“：[2]，”two“：[3,60]，”related“：[4,63]，”代数“：[5,61]，”which“：[6]，”can“：[7]，”be“：[8]，”used“：[9]，”to“：[10]，”specify“：[11]，”and“：[12,30,54]，”analysis“：[13]，”concurrent“：[14]，”systems“：[15]，”with“，”：[16,75]，“显式”：[17]，“定时”：[18]，“信息。”：[19]，“The”：[20，40，59，80]，“first”：[21]，“代数“：[22,42]，”is“：[23,43]，”based“：[24,44]，”on“：[25,45]，”process“：[26]，”expressions“：[27]，”called“：[28,52,83]，”t-expression“：[29]，”a“：[31,46,65,69,72]，”system“：[32]，”of“：[33,48,94]，”SOS“：[34]，”rules“：[35]，”提供“：[36]，”它们的“：[37,55]，”运算“：[38]，”语义。“：[39]，”秒“：[41]，”类“：[47]，”时间“：[49]，”Petri“：[50,86,96]，”网络“：[51]，”ct-boxes“：[53]，”转换“：[56,78]，”触发“：[57]，”规则。“：[58]，”are“：[62]，”through“：[64]，”mapping“：[66]，”which“：[67]，”for“：[68]，”t-expression“：[70]，”returns“：[71]，”corresponding“：[73]，”ct-box“：%74]，”behaviorally“：[76]，”equivalent“：[77]，”system。“：[79]，”resulting“：[81]，”model“：[82]，”the“：[84,91,95]，”Time“：[85]，”Box“：[87,97]，”Calculus“：[88,98]，”（tPBC）“，”：[89]，“extends”：[90]，“existing”：[92]，“approach”：[93]，“（PBC）。“：[99]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1481091958“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：1}，{“年度”：2018，”ciped_by_cunt“：1'，{”year“:2016，”cited_by_count”“：1{，”年“：2013，”citted_by_count“:3}]，”updated_date“：”2024-06-25T06:15:48.704164“，”created_dates“：”2016-06-24“}”