{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,20]]，“日期时间”：“2024-09-20T15:13:20Z”，“时间戳”：1726845200612}，“引用计数”：86，“发布者”：“计算机协会（ACM）”，“问题”：“3”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-contain惰性物质”：[“Form.Asp.Comput.”]，“published-print”：{“date-parts”：[[2011,5]]}，“abstract”：“摘要<\/jats:title>\n\n个工作流网<\/jats:italic>\n是一类特殊的Petri网，已成为建模和分析工作流的标准方法之一。通常，它们被用作工作流的抽象，用于检查所谓的健全性属性<\/jats:italic>\n。此属性保证不存在活锁、死锁和其他可以在不了解域的情况下检测到的异常。一些作者提出了稳健性的替代概念，并建议使用更具表现力的语言，例如带有取消或优先级的模型。本文提供了一个\n概述了稳健性的不同概念，并在工作流网络的不同扩展中对这些概念进行了研究。我们将证明，文献中描述的八个稳健性概念对于工作流网络来说是可判定的。然而，大多数扩展都会使所有这些概念无法确定。这些新结果表明了工作流验证的理论局限性。此外，我们还讨论了文献中描述的一些分析方法。\n<\/jats:p>“，”DOI“：”10.1007\/s00165-010-0161-4“，”type“：”journal-article“，”created“：{”date-parts“：[[2010,8,2]，”date-time“：”2010-08-02T13:51:52Z“，”timestamp“：1280757112000}，”page“：“前缀”：“10.1145“，“卷”：“23”，“作者”：[{“给定”：“W.M.P.”，“家族”：“van der Aalst”，“序列”：“第一”，“从属关系”：[}“名称”：“荷兰埃因霍温理工大学，邮政信箱513，5600\u00a0MB”}，{“名称“：澳大利亚布里斯班昆士兰理工大学”}]}，}“给定“：”K.M.“，”family“：”van Hee“，”sequence“：”additional“，”affiliation“：[{”name“：”埃因霍温理工大学，邮政信箱513，5600\u00a0MB，荷兰埃因霍芬“}]}，{”given“：”A.H.M.“，”family“：”ter Hofstede“，”sequence“：”additional“，”affiliation:[{“name”：“荷兰埃因多芬理工大学513，邮政信箱5600\u 0MB“}，”name“”：“”澳大利亚布里斯班昆士兰理工大学“}]}，{“given”：“N.”，“family”：“Sidorora”，“sequence”：“additional”，“affiliation”：[{“name”：“Eindhoven University of Technology，P.O.Box 513，5600\u00a0MB，Eindhovin，The Netherlands“}]{”given：“H.M.W.”，“家族”：“Verbeek”埃因霍温理工大学，邮政信箱5135600\u00a0MB，荷兰埃因霍芬“}]}，{“given”：“M.”，“family”：“Voorhoeve”，”sequence“：”additional“，”affiliation“：[{“name”：“埃因霍文理工大学；邮政信箱51350\u00a 0MB，埃因霍恩，荷兰“}]{”given“：”M.T.“，”family“：”Wynn“，”se序列“：”additional“name“：”昆士兰科技大学，澳大利亚布里斯班“}]}]，“member”：“320”，“reference”：[｛“key”：“e_1_2_1_2”，“first page”：“407”，“volume title”：“Petri网的应用与理论1997。计算机科学课堂讲稿，第1248卷，“作者”：“van der Aalst WMP”，“年份”：“1997”}，{“key”：“e_1_2_2_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1142\/S02186698000043”}“”业务流程管理：模型、技术和实证研究。计算机科学课堂讲稿，第1806卷，“作者”：“van der Aalst WMP”，“年份”：“2000”}，{“key”：“e_1_1_2_4_2”，“volume-title”：“工作流管理：模型、方法和系统”，“author”：“van der AalstWMP”、“年”：“2004”}、{“密钥”：“e_1_2_1_5_2”、“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.is.2004.02.002”}和{“key”：“e_1_2_1_6_2”，“非结构化”：“van der Aalst WMP van Hee KM ter Hofstede AHM Sidorova N Verbeek HMW Voorhoeve M Wynn MT（2008）《工作流网络的健全性：分类可判定性和分析》。计算机科学报告编号08-13。荷兰埃因霍温理工大学“}，{“key”：“e_1_1_2_7_2”，“首页”：“50”，“volume-title”：“Petri网和并发III的其他模型的事务处理。计算机科学讲义，第5800卷”，“author”：“van der Aalst WMP”，“year”：“2009”}，}“key:”“e_2_1_7_2“，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:102288372709”}，{“key”：“e_1_2_2_9_2”，“unstructured”：“van der Aalst WMP Hirnschall A Verbeek HMW（2002）分析工作流图的另一种方法。收录于：Banks-Pidduck A Mylopoulos J Woo CC Ozsu MT（eds）《第14届高级信息系统工程国际会议论文集》（CAiSE\u201902）。计算机科学讲义第2348卷。Springer-Verlag Berlin pp 535\u2013552“}，{“key”：“e_1_2_2_10_2”，“doi-asserted-by”：“crossref”，“unstructured”：“van der Aalst WMP Lohmann N Massuthe P Stahl C Wolf K（2008）《从公共视图到私人视图：服务的正确性-设计》。In:Dumas M Heckel H（eds）第四届Web服务和形式化方法国际研讨会论文集（WS-FM 2007）。计算机科学第4937卷课堂讲稿。Springer-Verlag Berlin pp 139\u2013153“，“DOI”：“10.1007\/978-3-540-79230-7_10”}，{“key”：“e_1_1_2_11_2”，“首页”：“42”，“volume-title”：“Web服务的形式化方法。计算机科学讲义，第5569卷”，“author”：“van der Aalst WMP”，“年份”：“2009”}、{“key”：/见11.1.17.11787“}，{“key”：“e_1_2_2_13_2”，“首页”：“360”，“卷时间”：“Petri网的进展，1986年。第一部分：Petri网、中心模型及其性质。计算机科学课堂讲稿，第254卷，“作者”：“Berthelot G”，“年份”：“1987”}，{“key”：“e_1_1_2_14_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1287\/isre.13.1.1.94”}《工作流管理学报：基于网络的概念模型技术和工具》（WFM\u201998）第98\/7卷计算科学报告葡萄牙里斯本。埃因霍温理工大学埃因霍芬pp 82\u201395“}”，{“key”：“e_1_1_2_18_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1142\/S0218843004000973”}，{”key“：”e_1_cu1_19_2“，”doi-assert-by“：”crossref“，”unstructured“：”Dwyer MB Avrunin GS Corbett JC（1999）有限状态验证的属性规范中的模式。在：ICSE\u201999：第21届美国加利福尼亚州洛斯阿拉米托斯国际软件工程会议记录。IEEE Computer Society Press pp 411\u2013420“，”DOI“：”10.1145\/302405.302672“}，{“key”：“e_1_1_2_20_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1002\/0471741442”}，“key“：”e_2_2_21_2“，”DOI-assert-by“：”crossref“，“unstructured”：“van Dongen BF van der Aalst WMP Verbeek HMW（2005）《EPC的验证：使用约简规则和Petri网》。收录：牧师O Falc\u00e3o e Cunha J（eds）第17届先进信息系统工程会议记录（CAiSE\u201905）。计算机科学第3520卷讲义。Springer-Verlag-Berlin pp 372\u2013386“，”DOI“：”10.1007\/11431855_26“}，{”key“：”e_1_2_2_22_2“，”DOI-asserted-by“：”crossref“，”unstructured“：”Desel J Esparza J（1995）Free choice Petri网。In:Cambridge tracts In theory computer science vol 40。剑桥大学出版社剑桥”，“DOI”：“10.1017\/CBO9780511526558”}，{“key”：“e_1_2_2_23_2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dufound C Finkel A Schnoebelen Ph（1998）在可判定性和不可判定性之间重置网络。In:Larsen K Skyum S Winskel G（eds）第25届自动化语言和编程国际学术讨论会会议记录。计算机科学课堂讲稿第1443卷。Springer-Verlag-Berlin pp 103\u2013115“，”DOI“：”10.1007\/BFb0055044“}，{“key”：“e_1_1_2_24_2”，“first page”：”301“，”volume-title“：”Lectures on concurrency and Petri nets Lecture notes.in computer science，vol 1644“，”author“：”Dufound C“，”year“1999”}，“key“：”e_2_1_25_2“，”unstructured“：”Dehnert J Rittgen P（2001）放松业务流程的稳健性。收录：Dittrich KR Geppert A Norrie MC（eds）《第13届先进信息系统工程国际会议论文集》（CAiSE\u201901）。计算机科学第2068卷课堂讲稿。Springer-Verlag Berlin pp 157\u2013170“}，{”key“：”e_1_1_2_26_2“，”首页“：”143“，”article-title“：”Petri网的可决定性问题：调查“，”volume“：“30”，”author“：”Esparza J“，”year“：”1994“，”journal-title”：“J Inf Process Cybern”}，“key”：“e_2_2_27_2”，“首页”：“374”，“volume-title：”Petri网讲座I：基本模型。计算机科学讲稿，第1491卷，“作者”：“Esparza J”，“年份”：“1998”}，{“key”：“e_1_2_28_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（97）00235-1”}.计算机科学讲义，第2512卷，“作者”：“Fu X”，“年份”：“2002”}，{“key”：“e_1_1_2_30_2”，“doi-asserted-by”：“crossref”，“unstructured”：“傅X Bultan T Su J（2004）交互式BPEL Web服务分析。in:国际万维网会议：第13届国际万维网上会议论文集，纽约。ACM Press pp 621\u2013630“，”DOI“：”10.1145\/988672.988756“}，{”key“：”e_1_1_2_31_2“，”首页“：”278“，”volume-title“：”Business process management（BPM 2009）。计算机科学讲义，vol 5701“，”author“：”Fahland D“，”year“：”2009“}”，{“key”：“e_2_1_32_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/S0304-3975（00）00102-X“}，{“键”：”e_1_1_2_33_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF01277643“}，{“key”：“e_2_1_234_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/233551.233556”}，“key“：”e_1_i_1_2_35_2“，“首页”：“220”，“volume-title”：“业务流程管理国际会议（BPM 2005）。计算机科学讲稿，第3649卷，“作者”：“”Hinz S“，”year“：”2005“}，{”key“：”e_1_1_2_36_2“，”first page“：“250”，”volume-title“：”Petri网的应用与理论2005。计算机科学讲义，第3536卷，“作者”：“van Hee KM”，“年份”：“2005”}，{“密钥”：“e_1_2_1_2_37_2”，“首页”：“335”，“卷标题”：“2003年Petri网的应用与理论”。计算机科学课堂讲稿，第2679卷，“作者”：“van Hee KM”，“年份”：“2003”}，{“关键”：“e_1_2_38_2”，“首页”：“197”，《卷-时间》：“Petri网的应用和理论2004。计算机科学讲义，第3099卷，“作者”：“van Hee KM”，“年份”：“2004”}，{“密钥”：“e_1_2_2_39_2”，“卷标题”：“工作流管理：建模概念、体系结构和实现”，“作者”：“Jablonski S”，“年份”：“1996”}，{“密钥”：“e_1_2_2_40_2”，“卷标题”：“彩色Petri网。基本概念、分析方法和实际应用，第1卷。EATCS理论计算机科学专著”，“作者”：“Jensen K”，“年份”：“1997”}，{“关键字”：“e_1_2_41_2”，“首页”：“1”，“卷标”：“Petri网的应用和理论2010。计算机科学课堂讲稿，第6128卷，“作者”：“Juhas G”，“年份”：“2010”}，{“key”：“e_1_1_2_42_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0020-0190（99）00074-5”}工作流架构的模型检查。收录：第四届国际企业分布式对象计算会议（EDOC\u201900）美国加利福尼亚州洛斯阿拉米托斯2000。IEEE Computer Society pp 170\u2013181“}，{“key”：“e_1_1_2_44_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.datak.2005.02.005”}，}“keys”：“e_1_2_1_45_2”，”doi-assert-by“：”crossref“，”first page“：”235“，“doi:”10.1007\/3-540-45594-9_15“，”volume-title“：”业务流程管理：模型、技术和实证研究。计算机科学课堂讲稿，第1806卷，“作者”：“Kindler E”，“年份”：“2000”}，{“密钥”：“E_1_2_46_2”，“非结构化”：“Keller G N\u00fcttgens M Scheer AW（1992）Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten（EPK）。Ver\u00f6ffentlichungen des Institutes f \u00fcr Wirtschaftsinformatik Heft 89（德语）萨尔萨斯大学\u00fccken“}，{“key”：“e_1_1_2_47_2”，“首页”：“17”，“volume-title”：“业务流程管理国际会议（BPM 2006）。计算机科学讲稿，第4102卷，“author”：“Lohmann N”，“year”：“2006”}，“key“：”e_2_1_248_2“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/317105”}e_1_2_2_49_2“，”第一页“：”279“，”卷时间“：”Petri网的应用和理论2010。计算机科学讲稿，第6128卷，“作者”：“Lohmann N”，“年份”：“2010”}，{“关键”：“e_1_2_2_50_2”，“非结构化”：“Lin H Zhao Z Li H Chen Z（2002）识别结构冲突的新图形约简算法。摘自：第三十四届夏威夷国际系统科学会议论文集（HICSS-35）IEEE Computer Society Press“}，{”key“：”e_1_1_2_51_2“，”first page“：“12”，”article-title“：”On Compatibility of Web services“，”volume“：‘65’，”author“：”Martens A“，”year“：”2003“，”journal-title”：“Petri Net Newsl”}，“key”：“#cr-split#-e_1_1_2_52_2.1”，”doi-asserted-by“：”crossref“，”unstructured“：”Matens A（2005）分析基于Web服务的业务流程。摘自：Cerioli M“，”DOI“：”10.1007\/978-3-540-31984-9_3“}，{”key“：”#cr-split#-e_1_2_1_52_2.2“，”非结构化“：”（ed）第八届软件工程基本方法国际会议论文集（FASE 2005）。计算机科学讲义第3442卷。Springer-Verlag-Berlin pp 19-33“}，{“key”：“e_1_1_2_53_2”，“doi-asserted-by”：“crossref”，“unstructured”：“Martens A（2005）可执行进程和抽象进程之间的一致性。In:IEEE电子商务和电子服务国际会议论文集（EEE\u201905）。IEEE计算机社会出版社pp 60\u201367”，“doi”：“10.1109\/EEEE.2005.53“}，{“key”：“e_1_1_2_54_2”，“首页”：“451”，“volume-title”：“业务流程管理国际会议（BPM 2006）。计算机科学讲稿，第4102卷”，“author”：“Mendling J”，“year”：“2006”}，“key“：”e_2_1_25_2“，”doi-asserted-by“：”crossref“，”非结构化：“Mendleing J Neumann G van der Aalst WMP（2007）基于度量了解流程模型中错误的发生。收录：Curbera F Leymann F Weske M（编辑）合作信息系统OTM会议记录（CoopIS 2007）。计算机科学第4803卷讲义。Springer-Verlag-Berlin pp 113\u2013130“，“DOI”：“10.1007\/978-3-540-76848-7_9”}，{“key”：“e_1_2_1_56_2”，“unstructured”：“Massuthe P Reisig W Schmidt K（2005）《SOA的操作指南方法》。摘自：2005年第二届东南欧正式方法研讨会论文集（SEEFM05）奥赫里德马其顿共和国”}、{“issue”：“3”，“key“e_1_2_57_2“，”首页“：”35“，”文章标题“：”SOA的操作指南方法“，”卷“：”1“，”作者“：”Massuthe P“，”年份“：”2005“，”日志标题“：“Ann Math Compute Teleinformation”}，{“key”：“e_2_1_258_2”，“volume-title”：“”基于工作流的过程控制：工作流驱动过程信息系统的建立、设计和应用e_1_2_61_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1555392.1555395“}，{”key“：”e_1_i_1_2_62_2“，“doi-assert-by”：“crossref”，“unstructured”：“Puhlmann F Weske M（2006）服务编排的交互稳健性。In:Dan A Lamersdorf W（eds）Proceedings of service-oriented computing（ICSOC 2006）计算机科学第4294卷课堂讲稿。Springer-Verlag Berlin pp 302\u2013313“，”DOI“：”10.1007\/11948148_25“}，{“key”：“e_1_2_63_2”，“首页”：“145”，“volume-title”：“业务流程管理国际会议（BPM 2006）。计算机科学讲义，第4102卷”，“author”：“Puhlmann F”，“year”：“2006”}，“key“：”e_2_2_64_2“，”首页：“64”，“volume-title:”Petri网和其他并发模型上的事务II。计算机科学课堂讲稿，第5460卷，“作者”：“Puhlmann F”，“年份”：“2009”}，{“key”：“e_1_1_2_65_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.is.2007.07.001”}工作流概念建模中的正确性问题。收录于：第五届欧洲信息系统会议记录（ECIS\u201997）科克爱尔兰pp 19\u201321“}，{“key”：“e_1_1_67_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0306-4379（00）00012-0”}，}“密钥”：“e_1_2_2_68_2”，”doi-assert-by“：”publisher“，”doi“：”10.1016\/S0377-2217（00）00292-7“}1_2_69_2“，”首页“：”425“，”卷标题”：“高级信息系统工程，第21届高级信息系统工程学国际会议论文集（CAiSE\u201909）。计算机科学讲稿，第5565卷，“作者”：“Trcka N”，“年份”：“2009”}，{“key”：“e_1_1_2_70_2”，“非结构化”：“van der Toorn R（2004）使用Petri网进行基于组件的软件设计：基于行为继承的方法。Eindhoven科技大学荷兰埃因霍温博士论文”}非结构化“：”Verbeek HMW van der Aalst WMP（2005）使用Petri网分析BPEL流程。摘自：Marinescu D（ed）关于Petri网应用于协调工作流和业务流程管理的第二次国际研讨会会议记录。佛罗里达州迈阿密佛罗里达国际大学pp 59\u201378“}，{”key“：”e_1_1_2_72_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1093\/comjnl\/bxl074“}”，{“key”：“e_1_i_1_73_2”，“doi-assert-by”：“publisher”，“doi”：“10.1093\/comjnal\/44.4246”}，“key“:”e_2_2_74_2“，“doi-asserted-by”：”crossref“，“unstructured”“：”Vanhatalo J V\u00f6lzer H Leymann F（2007）通过SESE分解，更快、更集中地分析业务流程模型的控制流。收录于：Kr\u00e4mer B Lin K Narasimhan P（eds）《面向服务计算学报》（ICSOC 2007）。计算机科学第4749卷讲义。Springer-Verlag Berlin pp 43\u201355“，”DOI“：”10.1007\/978-3-540-74974-5_4“}，{“key”：“e_1_1_2_75_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.jcss.2009.06.003”}，“key“：”e_1_c_1_76_2“，”首页“：”389“，”卷时间“：”商业流程管理国际会议（BPM 2006）。计算机科学讲稿，第4102卷，“作者“：”Wynn MT“，”year“：”2006“}，{”key“：”e_1_1_2_77_2“，”first page“：“423”，”volume-title“：”Petri网的应用与理论2005。计算机科学课堂讲稿，第3536卷，“作者”：“Wynn MT”，“年份”：“2005”}，{“key”：“e_1_1_78_2”，“volume-title”：“业务流程管理：概念、语言、架构”，“author”：“Weske M”，“年”：“2007”}author“：”Wong PYH“，”year“：”2007“}，{”key“：”e_1_1_2_80_2“，”first page“：“27”，”volume-title“：”形式工程方法国际会议（ICFEM 2008）。计算机科学讲稿，第5256卷“，”author”：“Wong PYH”，“year”：“2008”}，“key”：“e_2_2_81_2”，“doi-asserted-by”：“crossref”，“unstructured”：“Wang PYH-Gibbons J（2009）工作流建模的属性规范。摘自：第七届综合形式方法国际会议论文集。计算机科学课堂讲稿第5423卷。Springer-Verlag Berlin”，“DOI”：“10.1007\/978-3642-00255-7_5”}，{“key”：“e_1_2_82_2”，“unstructured”：“White SA et \u00a0al（2009）Business process modeling notation specification（版本1.2 OMG Final Approved specification）”}、{“key”：”e_1_ce_2_83_2“，”first page“：”152“，”volume-title“：”Petri网和其他并发模型上的事务II。计算机科学课堂讲稿，第5460卷，“作者”：“Wolf K”，“年份”：“2009”}，{“key”：“e_1_1_84_2”，“doi-asserted-by”：“crossref”，“unstructured”：“Wombacher A（2006）跨组织工作流中的分散一致性检查。摘自：电子技术、电子商务和电子服务国际会议论文集（CEC\/EEE 2006）IEEE Computer Society第39\u201346页“，”DOI“：”10.1109\/CEC-EEE.2006.32“}，{“key”：“e_1_2_2_85_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.ins.2008.10.033”}，“container-title”：[“计算的形式方面”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\\/dl.acm.org\/DOI\/pdf \/10.1007\/s00165-010-0161-4“，”内容类型“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,1,6]]，”date-time“：”2022-01-06T15:56:16Z“，”timestamp“：1641484576000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10007\/s00165-010-0161-4”}}}，“副标题”：[]，“短标题“：[]，”发布“：{“日期部分”：[[2011,5]]}，”references-count“：86，”journal-issue“：{”issue“：“3”，“published-print”：{“date-parts”：[[2011,5]]}}，“alternative-id”：[“10.1007\/s00165-010-0161-4”]，“URL”：“http://\/dx.doi.org\/10.1007\/s001650-0161-4”，“relation”：{}，”ISSN“：[”0934-5043“，”1433-299X“]，”ISSN-type“：[{”value“：“0934-5043”，“type”：“print”}，{“value”：”1433-299X“，”type“：”electronic“}]，“主题“：[]，”已发布“：{“日期部分”：[[2011,5]]}}