{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,29]]，“日期-时间”：“2024-05-29T13:48:49Z”，“时间戳”：1716990529422}，“参考-计数”：16，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3-4”，“许可证”：[{“开始”：{-“日期-零件”：[[2007,3,8]]，”日期-时间我”：“2007-03-08T00:00:00Z”，“timestamp”：117331200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2007,3,8]]，“date-time”：“2007-03-08T00:00:00Z”，“timetamp”：116331200000neneneep，“content-version”：“vor”，“delay-in-days”：“0，“URL”：“https:\/\\www.springer.com\/tdm“}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Int J Softw Tools Technol Transfer”]，“published-print”：{“date-parts”：[[2007,6]]}，”DOI“：”10.1007\/s10009-007-0037-0033-2“，”type“：”journal-article“，”created“：{”date-part“：[2007,3,7]]，”date-time“：”2007-03-07T08:10:34Z“，”timestamp“：1173255034000}”，“page”：“393-411“，”更新策略“：“http://\/dx.doi.org \/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：15，“title”：[“定时petri网的模块化状态空间探索”]，“prefix”：“10.1007”，”volume“：”9“，”author“：[{”given“：“：”附加“，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2007,3,8]]}，“reference”：[{“key”：“33_CR1”，“first-page”：“453”，“volume-title”：“Petri网应用与理论国际会议，LNCS第961卷”，“author”：“W.van der Aalst”，“year”：“1993”，“unstructured”：“Aalst W.（1993）.区间时间有色Petri网及其分析。In:Marsan，M.A.（eds）Petri网应用和理论国际会议，LNCS第961卷。，第453\u2013472页。Springer，Chicago“}，{“key”：“33_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Berthelot G.，Boucheneb H.（1994）。间隔时间彩色网络的发生图。摘自：《第十五届国际会议论文集Petri网的应用和理论》（ICATPN\u20191994），西班牙萨拉戈萨，1994年6月，LNCS第815卷，第79\u201398页。柏林施普林格“，“DOI”：“10.1007\/3-540-58152-9_6”}，{“key”：“33_CR3”，“unstructured”：“Boucheneb，H.，Bertholet，G.：走向时间Petri网可达图的简化构建。见：第五届Petri网和性能模型国际研讨会，第46\u201355页。Springer，Berlin（1993）“}，{”issue“：“3”，”key“：“33_CR4”，”doi-asserted-by“：”publisher“，”first page“：”224“，”doi“：”10.1093\/comjnl\/43.3.224“，”volume“：“：”Compute.J.“}，{”key“：”33_CR5”，“非结构化”：“在线设计/CPN。http://www.daimi.au.dk\/designCPN“}，{”issue“：”10“，”key“：”33_CR6“，”doi-asserted-by“：”publisher“，”first page“：“30”，”doi“：”10.1145\/84537.84545“，”volume“：title“：”Commun.ACM“}，{”key“：”33_CR7“，“卷时间”：“彩色Petri网：基本概念、分析方法和实际应用，第1卷：基本概念。理论计算机科学专著”，“作者”：“K.Jensen”，“年份”：“1992年”，“非结构化”：“Jensen K.（1992）。彩色Petri网：基本概念、分析方法和实际应用，第1卷：基本概念。理论计算机科学专著。Springer，Berlin“}，{“key”：“33_CR8”，“volume-title”：“彩色Petri网：基本概念、分析方法和实际应用。第2卷：分析方法。理论计算机科学专著”，“作者”：“K.Jensen”，“年份”：“1994”，“非结构化”：“Jensen K.（1994）彩色Petri网：基本概念、分析方法和实际应用。第2卷：分析方法。理论计算机科学专著。Springer，Berlin“}，{”key“：”33_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Kristensen，L.，Petrucci，L.：有色Petri网分布式状态空间探索方法。In：第25届国际会议论文集Petri网应用与理论（ICATPN\u20192004），意大利博洛尼亚，2004年6月，LNCS第3099卷，第474\u2013483页。Springer，Berlin（2004）“，“DOI”：“10.1007\/978-3-540-27793-4_28”}，{“key”：“33_CR10”，“unstructured”：“Lakos，C.，Petrucci，L.：由半自治子系统组成的系统的模块化分析。摘自：《第四届并行应用于系统设计国际会议论文集》（ACSD\u201904），加拿大汉密尔顿，2004年6月，第185\u2013194页。IEEE组件。Soc.Press（2004）“｝，｛“key”：“33_CR11”，“nonstructured”：“Lewis，G.A.：有色Petri网背景下的增量规范和分析。塔斯马尼亚大学计算系博士，2002”｝，｛“key”：“33_CR12”，“首页”：“201”，“卷标题”：“第24届Petri网应用和理论国际会议，荷兰埃因霍温，LNCS第2679卷。“，”author“：”M.M\u00e4kel\u00e 4“，”year“：”2002“，”unstructured“：”M\u00 e4kel \u00 e 4 M.（2002）。模块化高级网络中的模型检查安全属性。摘自：Best，E.（eds）第24届Petri网应用和理论国际会议，Eindhoven，荷兰LNCS第2679卷。，第201\u2013220页。施普林格，柏林”}，{“key”：“33_CR13”，“非结构化”：“M\u00e4kel\u00e4，M.:Maria-代数系统网的模块可达性分析器（1.3.4版）。技术报告，赫尔辛基理工大学理论计算机科学实验室，2003年6月”}，{“key”：“33_CR14”，“首页”：“37”，“卷标题”：“Petri网应用和理论国际会议，佛罗里达州计算机科学讲稿第3099卷。”，“作者”：“W.Penczek”，“年份”：“2004”，“非结构化”：“Penczeck W.和Polrola A.（2004）。时间Petri网和时间自动机中时间属性的规范和模型检查。摘自：Cortadella，J.和Reisig，W.（eds）Petri网应用和理论国际会议，佛罗里达州计算机科学讲稿第3099卷，第37\u201376页。Springer，Berlin“}，{“key”：“33_CR15”，“unstructured”：“Petrucci，L.：封面故事：模状态空间的实验。Petri Net Newslett.68:封面和5\u201310，2005年4月”}，“{”key“：”33_CR16“，“第一页”：“547”，“volume-title”：“计算理论基础，计算机科学讲义第1684卷。”，“author”：“I。Virbitskaite”，“年份”：“1999年”，“非结构化”：“Virbitswaite I.和Pokozy E.（1999）。时间Petri网验证的偏序方法。收录于：Ciobanu，G.和Paun，G.（eds）《计算理论基础》，计算机科学讲义第1684卷。，第547\u2013558页。Springer，Berlin“}]，“container-title”：[“技术转让软件工具国际期刊”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.Springer.com/content\/pdf\/10.1007\/s10009-007-0033-2.pdf”，“内容类型”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“网址”：“https:\/\/link.springer.com/article\/10.1007\/s10009-007-0033-2\/fulltext.html“，“content-type”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/s10009-007-0033-2”，“内容类型”：“未指定的”，“content-version“：”vor“，”intended-application“相似性检查”“}，{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0033-2.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,5,18]]，”date-time“：“2022-05-18T02:43:02Z”，”timestamptime“：1652841782000}，”score“：1，”resource“：”{“primary”：{“URL“：”https:\/\/link.springer.com/10.1007\/s10009-007-0033-2“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2007,3,8]]}，“引用计数”：16，“日志发布”：{“发布”：“3-4”，“发布发布”：}“日期部分”：[2007,6]]}}、“替代id”：[“33”]，“URL”：“http://\/dx”。doi.org \/10.1007\/s10009-007-0033-2“，”关系“：{}，”ISSN“：[”1433-2779“，”1433-2787“]，“issn-type”：[{“value”：“1433-2779”，“type”:“print”}，{“value”：“433-2787”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2007,3,8]}，“assertion”：[[{”value“：”2007年3月8日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“Article History”，“label”：“文章历史记录”}}]}}