{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,6]]，“日期-时间”：“2024-04-06T02:16:36Z”，“时间戳”：17123696282}，“参考-计数”：29，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3-4”，“许可证”：[{“开始”：{-“日期-零件”：[2007,2,22]]，”日期-时间“：“2007-02-22T00:00:00Z”，“timestamp”：1172102400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2007,2,22]]，“date-time”：“2007-02-22T00:00:00Z”，“timetamp”：“1172102400000”}/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-007-2-3“，”type“：”journal-article“，”created“：{”date-part“：[[2007，2,21]]，”date-time“：”2007-02-21T08:44:04Z“，”timestamp“：1172047444000}”，“page”：“255-267“，”更新策略“：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：3，“title”：[“操作规划过程的形式规范和状态空间分析”]，“prefix”：“10.1007”，”volume“：”9“，”author“：[{”given“：“Brice”，”family“：”Mitchell“，”sequence“：”first“，”affiliation“：[]}，{”given“Lars Michael”：“克里斯滕森”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Lin”，“family”：“Zhang”，“serquence”:“additionable”，“abfiliance”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2007,2,22]]}；“reference”：[{“key”：”32_CR1“，“doi-asserted-by”：”publisher“，”first page“：”131“，‘doi’：”10.1023\/A:100A 8656726700“，“卷”：“10”，“作者”：“N.R.Adam”，“年份”：“1998年”，“非结构化”：“Adam N.R.，Atluri V.，Huang W.（1998）。使用petri网对工作流进行建模和分析。J.Intell.Inf.Syst.10:131\u2013158”，“日志标题”：“J.Intel.Inf.System.”}，{“key”：“32_CR2”，“unstructured”：“澳大利亚国防军出版物（ADFP）：联合军事欣赏进程。操作系列9，联合规划，第8章（1999）“｝，｛“key”：“32_CR3”，“doi asserted by”：“crossref”，“nonstructured”：“Bertholot，G.：区间定时彩色petri网的发生图。在：ICATPN\u201994论文集，计算机科学讲义第815卷，第79\u201398页。Springer，Heidelberg（1994）“，“DOI”：“10.1007\/3-540-58152-9_6”}，{“key”：“32_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Christensen，S.，Kristensen（L.M.），Mailund（T.）：状态空间探索的扫线方法。摘自：《TACAS\u20192001学报》，第2031卷，《计算机科学讲稿》，第450\u2013464页。Springer，Heidelberg（2001）“，“DOI”：“10.1007\/3-540-45319-9_31”}，{“key”：“32_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ellis，C.A.，Nutt，G.J.：工作流系统的建模和制定。摘自：ICATPN\u201993年会议录，LNCS第691卷，第1\u201316页。Springer，Heidelberg（1993）”，“DOI”：“10.1007\/3-540-556863-8_36”}，{“key”：“32_CR6”，“非结构化”：“Ferscha，A.：使用广义随机petri网对业务工作流程进行定性和定量分析。奥地利国家银行项目编号5096（1997）”}，{“key”：“32_CR7”，“DOI由”断言：“crossref”，“非结构化”：“Freiheit，J.，Billington，J.：使用时间网评估运营规划过程。参见：《第二届商业流程管理国际会议论文集》，第3080卷，《计算机科学讲稿》，第17\u201332页。Springer，Heidelberg（2004）”，“DOI”：“10.1007\/978-3-540-25970-1_2”}，｛“key”：“32_CR8”，“非结构化”：“Gallasch，G.E.，Kristensen，L.M.，Mailund，T.：The Sweep \/CPN Library。http:\/\/www.dami.au.dk\/designCPN\/libs\/sweepcpn\/”｝，｛“key”：“32_CR9”，DOI断言为“：”crossref“，”非结构化“：”Gordon，S.、Kristensen，L.M.、Billington，J.：验证修订后的WAP无线交易协议。摘自：ICATPN\u20192002会议录，计算机科学讲稿第2360卷，第182\u2013202页。Springer，Heidelberg（2002）“，“DOI”：“10.1007\/3-540-48068-4_12”}，{“key”：“32_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“Jensen，K.：有色petri网\u2014基本概念、分析方法和实际应用。理论计算机科学专著。Spinger，海德堡（1997）”，“DOI:”10.1007\/978-3642-60794-3“}，”{“issue”：“2”，“key“：”32_CR11“，”doi-asserted-by“：”publisher“，”first page“：”98“，”doi“：”10.1007\/s100090050021“，”volume“：“2”，“author”：“L.M.Kristensen”，“year”：“1998”，“unstructured”：“Kristenson L.M.，Christensen S.，Jensen K.（1998）。从业者\u2019s有色petri网指南。国际J.Softw Tools Technol Transf 2（2）：98\u2013132“，”日志标题“：”国际J.软件工具技术转换“}，{“key”：“32_CR12”，“unstructured”：“Kristensen，L.M.，Mitchell，B.，Zhang，L.，Billington，J.：使用有色petri网对运营规划过程进行建模和初步分析。参见：《国防系统正式方法研讨会论文集》，信息技术研究与实践会议第12卷，第105\u2013114页。澳大利亚计算机学会（2002）“}，{”key“：”32_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Lakos，C.：“对象petri网定义中名称和多态性的一致使用。in:Proceedings of ICATPN\u201996，vol.1091 of LNCS，pp.380\u2013399。Springer，Heidelberg（1996）“，“DOI”：“10.1007\/3-540-61363-3_21”}，{“key”：“32_CR14”，“unstructured”：“Lumsden，S.，Smallwood，R.，Mitchell，B.，Zhang，L.：用有色petri网建模作战级规划过程。摘自：第七届国际指挥与控制研究与技术研讨会论文集（2002）”}、{“key”：”32_CR15“，”非结构化”：“De Michelis，G.，Ellis，C.，Memmi，G.（eds.）In:计算机支持的协同工作、Petri网和相关形式主义会议录，萨拉戈萨（1994）”}，{“key”：“32_CR16”，“非结构化”Mitchell，B.，Kristensen，L.M.，Zhang，L.：运营规划过程的形式规范和状态空间分析。收录于：第五期彩色Petri网和CPN工具实际使用研讨会和教程论文集，第1\u201318页（2004）“}，{“问题”：“4”，“关键”：“32_CR17”，“首页”：“541”，“卷”：“77”，“作者”：“T.Murata”，“年份”：“1989”，“非结构化”：“Murata T.（1989）。Petri网：属性、分析和应用。IEEE计算学会学报77（4）：541\u2013580“，”新闻标题“：”程序。IEEE计算。Soc.“}，{”key“：”32_CR18“，”doi-asserted-by“：”publisher“，”first page“：“276”，”doi“：”10.1088\/0967-1846\/3\/4\/007“，”volume“：“}，{”键“：”32_CR19“，”doi-asserted-by“：”crossref“，”unstructured“：”Reisig，W.：Petri网。收录于：EACTS理论计算机科学专著，第4卷。Springer，Heidelberg（1985）“，”DOI“：”10.1007\/978-3-642-69968-9“}，{”key“：”32_CR20“，”DOI-asserted-by“：”publisher“，”first page“：“664”，”DOI:“10.1016\/S0377-2217（00）00292-7”，“volume”：“134”，”author“：”K.Salimifard“，”year“：”2001“，”unstructured“：”Salimifard K.，Wright M.（2001）。基于Petri网的工作流系统建模：概述。欧洲药典。操作。第134:664\u2013676号决议“，”期刊标题“：”欧洲期刊Oper。Res.“}，{”key“：”32_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Valmari，A.：状态爆炸问题。摘自：Petri网讲座I：基本模型，计算机科学讲座笔记第1491卷，第429\u2013528页。Springer，Heidelberg（1998）“，“DOI”：“10.1007\/3-540-65306-6_21”}，{“key”：“32_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“van der Aalst，W.：区间时间有色petri网及其分析。In:Proceedings of ICATPN\u201993，vol.691 of Teach Notes In Computer Science，pp.453\u2013472（1993）”，“DOI:”10.1007\/540-56863-8_61“}32_CR23“，”非结构化“：”van der Aalst，W.：工作流管理高级教程。在：第23届国际Petri网应用与理论会议（2002）“}，{“key”：“32_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“van der Aalst，W.，van Hee，K.：工作流管理\u2014Models，Methods and Systems.麻省理工学院出版社，剑桥（2002）”，“doi”：“10.7551\/mitpress\/7301.0001”}，}，“key“：”32_CR25“，“unsructured“：”van der Aalst，W.M.P.：发现工作流过程设计中的错误：基于petri-net的方法。摘自：《工作流管理研讨会论文集》，基于网络的概念、模型、技术和工具，第60\u201381页，里斯本，（1998）“}，{“问题”：“1”，“关键”：“32_CR26”，“doi-asserted-by”：“publisher”，“首页”：“21”，“doi”：“10.1142 \/S02186698000043”，“卷”：“8”，“作者”：“W.M.P.van der Aalst”，“年份”：“1998”，“非结构化”：“van der Alst W.M.P”（1998）petri网在工作流管理中的应用。J.电路系统。计算。8（1）：21\u201366“，“期刊标题”：《电路系统杂志》。计算。“}，{”key“：”32_CR27“，”unstructured“：”van der Aalst，W.M.P.，De Michelis，G.，Ellis，C.A.，（eds.）In:工作流管理研讨会论文集，基于网络的概念、模型、技术和工具，里斯本（1998）“}”，{“问题”：“1”，“key”：“32_CR28”，“doi-asserted-by”：“publisher”，“首页”：“43”，“doi”：“10.1016\/S0306-4379（00）00008-9”，”“卷”：“25”，“”作者“：”W.M.P.van der Aalst“，”年份“：”2000“，”非结构化“：”van der Alst W.M.P，ter Hofstede A.H.M.（2000）。工作流任务结构的验证：一种基于petri网的方法。信息系统。25（1）：43\u201369“，“日志标题”：“信息系统。“}，{”key“：”32_CR29“，”unstructured“：”Zisman，M.D.：办公过程的表示、规范和自动化。宾夕法尼亚大学博士论文（1977）“}]，”container-title“：[”技术转让软件工具国际期刊“]，”original-title”：[]，“language”：“en”，“link”：[{”URL“：”https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0003-3.pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https:\/\/link.springer.com\/article\/10.1007\/s10009-007-0003-3\/fulltext.html”，“内容类型”：“文本\/html”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/s10009-007-00032-3”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝，｛“URL”：“https:\/\/link.springer.com\/content/pdf\/10.1007\/s10009-007-00032-3-pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[[2022,5,18]]，“日期时间”：“2022-05-18T01:51:01Z”，“时间戳”：1652838661000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“https:\/\/link.springer.com\/10007\/s10009-007-0032-3”}}，]}，“references-count”：29，“journal-issue”：{“issue”：“3-4”，“已发布的印刷品”：｛“日期部分”：[[2007,6]]｝｝，“替代id”：[“32”]，“URL”：“http:\/\/dx.doi.org/10.1007\\s10009-007-0032-3”，“关系”：｛｝，“ISSN”：[“1433-2779”，“1433-2787”]，“ISSN类型”：[｛“值”：“1433-2779”，“类型”：“印刷”｝，｛“值”：“1433-2787”，“类型”：“电子”｝]，“主题”：[]，”已发布”：｛“日期部分”：[[2007,2,22]]｝，“断言”：[｛“值”：“2007年2月22日”，“订单”：1，“名称”：“first_online”，“标签”：“首次在线”，“群组”：{“name”：“ArticleHistory”，“label”：“文章历史”}}]}}