{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,12]，“日期时间”：“2024-04-12T07:44:49Z”，“时间戳”：1712907889938}，“引用-计数”：0，“发布者”：“IOS出版社”，“问题”：“3”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]，“published-print”：{“date-parts”：[1999]]}，“DOI”：“10.3233\/fi-1999-37304”，“type”：“journal-article”，“created”：{“date-parts”：[[2019,12,3]]，“date-time”：“2019-12-03T02:42:57Z”，“timestamp”：1575340977000}，”page“：”247-268“，”source“：Crossref”，“is-referenced-by-count”：22，“title”：[“使用具有稳定模型语义的逻辑程序解决1-安全Petri网的死锁和可达性问题”]，“前缀”：“10.3233”，“卷”：“37”，“作者”：[{“给定”：“Keijo”，“家族”：“Heljanko”，“序列”：“第一”，“从属关系”：[}“名称”：“赫尔辛基理工大学理论计算机科学实验室，P.O。芬兰HUT 02015号5400信箱。Keijo.Heljanko@hut.fi“}]}]，”member“：”7437“，”container-title“：[”Fundamenta Informaticae“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/content.iospress.com\/download？id=10.3233\/FI-1999-37304“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，“deposed”：{“date-parts”：[2019,12,3]]，“date-ti”我“：“2019-12-03T02:42:58Z”，“timestamp“：1575340978000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/FI-1999-37304“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1999]]}，‘references-count’：0，‘journal-issue’：{‘issue’：“3”，“published-print”：{-“date-ports”：[1999]]}}，“URL”：“http:\/\/dx.doi.org\/10.3233\/fi-1999-37304“，”关系“：{}，”ISSN“：[”0169-2968“]，”ISSN-type“：[{”值“：”0169-2368“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[1999]]}}}