{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,13]]，“日期-时间”：“2024-05-13T19:51:49Z”，“时间戳”：17156290933}，“参考-计数”：32，“出版商”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1 5223\/policy-029“}，{“开始”：{“日期部分”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470566”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“Categories of Nets”]，“prefix”：“10.1109”，”author“：[{”given“John C.”，“family”：“Baez”，“sequence”：“first”，“affiliation”：[]}，{”给定“：”Fabrizio“，”family“：”Genovese“、“sequence”：“additional”，“affiliation”：[]}，{“given”：“Jade”，“family”：“Master”，“sequences”：“extendated”，“filiation“：[]{”given“：”Michael“，”family“：”Shulman“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref32“，”doi-asserted-by“：“publisher”，“doi”：“10.1016\/S0040-9383（99）000 31-2“}，{“key”：“ref31”，“year”：“0”，“journal-title”：“Statebox语言的数学规范”}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（96）80709-2”}作者“：“genovese”，“year”：“0”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.4204\/EPTCS.287.7”}cs.2009.06.014“}，{“键”：“参考15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0001-8708（91/s13348-015-0160-0“}，{“键”：“ref18”，“article-title”：“Petri网和进程的元素”，“author”：“kock”，“year”：“0”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10485-008-9167-y”}ted-by“：”publisher“，”doi“：”10.1016\/S1571-0661（05）80302-0“}，{”key“：“ref27”，“author”：“peterson”，“year”：“1981”，“journal-title”：“Petri网理论与系统建模”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.aim.2012.04.011”}、{“key”：”ref6“，”article-title“：”直接证明3-计算机的类别不是笛卡尔封闭的“，”author“：”cheng“，”year“：”}29英寸，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/3-540-59293-8_205”}，{“key”：“ref5”，“doi-asserted-by”：”publisher“，”doi“：”10.1006\/inco.2001.3050“}，}“key”：”ref8“，”doi-assert-by“：”crossref“，“first-page”：“167”，”doi:“10.1109\/SWAT.1973.11”，“author”：“ehrig”，“year”：“1973”，“journal-title“：”切换与自动机理论“}，{“key”：“ref7”，“first-page”：“175”，“author”：“degano”，“year”：“1989”，“journal-title”：“Logic in Computer Science”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/978-3-540-40020-2_8”}：“10.1017\/S0960129520000043”}，{“key”：“ref20”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3-540-24727-2_20”}，{“key”：“ref22”，“DOI-asserted-by”：“publicher”，“DI:”10.1016\/j.exmath.2019.02.004“}”，{”key“：”ref21“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007\/11841883_14 \/S0960129520000262“}，{“key”：“ref23”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.jpaa.2008.04.010”}，{“key”：“ref26”，“article-title”：“Groupoids和局部笛卡尔闭包”，“volume”：”21“，“author”：“palmgren”，“year”：“2003”，“journal-title“：”特里尔大学数学技术代表部“}，”{“key“：”ref25“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0890-5401（90）90013-8“}]，“event”：{名称“：“2021年第36届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）”，“地点”：“意大利罗马”，“开始”：{“日期部分”：[[2021,6,29]]}，“结束”：{“日期部分“：[2021,7,2]}，”container-title“：[”2021年ACM \/IEEE第36届年度计算机科学逻辑学研讨会（LISS）“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470561.pdf？arnumber=9470566”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[2022,5,10]]，“日期-时间”：“2022-05-10T15:46:21Z”，“时间戳”：1652197581000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470566\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2021,6,29]]}，”引用计数“：32，”URL“：”http://\/dx.doi.org\/10.1009\/lics52264.2021.9470566“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期部分“：[2021,6,29]”6,29]]}}}