范德阿尔斯特，W.M.P。;van Hee，K.M。;ter Hofstede，A.H.M。;新墨西哥州西多罗瓦。;H.M.W.韦贝克。;M·沃霍夫。;韦恩，M.T。 工作流网络的可靠性：分类、可判定性和分析。 （英语） Zbl 1225.68129号 正式Asp。计算。 23，第3期，333-363（2011）. 几年来，工作流验证一直是一个研究对象。WorkFlow Nets（WFN）是第一作者W.M.P.van der Aalst于1997年作为Petri网的一个特例介绍的。在同一作者的以下研究中，表明WFN可以用作工作流建模和分析的工具。在本研究中，研究了WFN的重要性质，这些性质与可判定性和不可判定性问题有关。审核人：Krassimir Atanassov（索非亚） 引用于27文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：Petri网;可判定性;工作流网络;重置网络;可靠性;验证 软件：温迪;汪汪叫;WSAT公司;BPEL2PN公司;沃夫兰;形而上学 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，《形式语法》。计算。23，第3号，333--363（2011；Zbl 1225.68129） 全文： DOI程序 参考文献： [1] van der Aalst WMP（1997）《工作流网络验证》。In:Azéma P，Balbo G（eds）Petri网的应用和理论，1997年。计算机科学课堂讲稿，第1248卷。柏林斯普林格·弗拉格，第407–426页 [2] van der Aalst WMP（1998）Petri网在工作流管理中的应用。《循环系统计算杂志》8（1）：21–66·doi:10.1142/S0218126698000043 [3] van der Aalst WMP（2000）工作流验证：使用基于Petri网的技术发现控制流错误。收录：Aalst WMP、Desel J、Oberweis A（编辑）《业务流程管理：模型、技术和实证研究》。计算机科学课堂讲稿，第1806卷。柏林斯普林格·弗拉格，第161-183页 [4] van der Aalst WMP，van Hee KM（2004）《工作流管理：模型、方法和系统》。麻省理工学院出版社，剑桥 [5] van der Aalst WMP，ter Hofstede AHM（2005）《YAWL：另一种工作流语言》。信息系统30（4）：245–275·doi:10.1016/j.is.2004.02.002 [6] van der Aalst WMP、van Hee KM、ter Hofstede AHM、Sidorova N、Verbeek HMW、Voorhoeve M、Wynn MT（2008）工作流网络的健全性：分类、可决策性和分析。计算机科学报告编号08-13。荷兰埃因霍温工业大学 [7] van der Aalst WMP、van Hee KM、ter Hofstede AHM、Sidorova N、Verbeek HMW、Voorhoeve M、Wynn MT（2009）《具有重置弧的工作流网络的稳定性》。收录于：Jensen K、Billington J、Koutny M（编辑）《Petri网交易》和Concurrency III的其他模型。计算机科学讲稿，第5800卷。柏林斯普林格·弗拉格，第50-70页·Zbl 1266.68140号 [8] van der Aalst WMP、ter Hofstede AHM、Kiepuszewski B、Barros AP（2003）《工作流程模式》。分发并行数据库14（1）：5–51·doi:10.1023/A:1022883727209 [9] van der Aalst WMP，Hirnschall A，Verbeek HMW（2002）分析工作流图的另一种方法。收录：Banks-Pidduck A、Mylopoulos J、Woo CC、Ozsu MT（eds）第14届先进信息系统工程国际会议论文集（CAiSE’02）。计算机科学课堂讲稿，第2348卷。柏林斯普林格·弗拉格，第535–552页·Zbl 1046.68975号 [10] van der Aalst WMP、Lohmann N、Massuthe P、Stahl C、Wolf K（2008）《从公共视图到私人视图：基于服务设计的正确性》。摘自：Dumas M，Heckel H（eds）第四届Web服务和形式方法国际研讨会论文集（WS-FM 2007）。计算机科学课堂讲稿，第4937卷。柏林斯普林格·弗拉格，第139-153页 [11] van der Aalst WMP、Mooij AJ、Stahl C、Wolf K（2009）《服务交互：模式、形式化和分析》。收录：Bernardo M、Padovani L、Zavataro G（eds）Web服务的形式化方法。计算机科学课堂讲稿，第5569卷。柏林施普林格-弗拉格出版社，第42–88页 [12] Basu A，Blanning RW（2000）工作流分析的正式方法。信息系统研究11（1）：17–36·doi:10.1287/isre.11.11.71787 [13] Berthelot G（1987）网络的变换和分解。收录：Brauer W、Reisig W、Rozenberg G（编辑）《Petri网进展》，1986年。第一部分：Petri网、中心模型及其性质。计算机科学讲义，第254卷。柏林斯普林格·弗拉格，第360–376页 [14] Basu A，Kumar A（2002）研究评论：电子商务中的工作流管理问题。信息系统研究13（1）：1–14·doi:10.1287/isre.13.1.94 [15] Barkaoui K，Petrucci L（1998）具有共享资源的工作流网络的结构分析。收录：van der Aalst WMP、De Michelis G、Ellis CA（eds）《工作流管理学报：基于网络的概念、模型、技术和工具》（WFM'98），计算科学报告第98/7卷，葡萄牙里斯本。埃因霍温理工大学，埃因霍芬，第82–95页 [16] 毕洪华，赵JL（2004）将命题逻辑应用于工作流验证。信息技术管理5（3-4）：293–318·doi:10.1023/B:ITEM.000031583.16306.0f [17] Chrzastowski Wachtel P（1999）借助第10个希尔伯特问题测试Petri网可达性的不可判定性。In:Donatelli S，Kleijn J（eds）Petri网的应用和理论。计算机科学课堂讲稿，第1639卷。柏林斯普林格·弗拉格，第268-281页·Zbl 0935.68074号 [18] Dehnert J，van der Aalst WMP（2004）《架起商业模型和工作流规范之间的桥梁》。国际合作社信息系统13（3）：289–332·doi:10.1142/S02188430004000973 [19] Dwyer MB、Avrunin GS、Corbett JC（1999）有限状态验证的属性规范模式。In:ICSE’99：第21届国际软件工程会议纪要，美国加利福尼亚州洛斯阿拉米托斯。IEEE计算机学会出版社，第411-420页 [20] Dumas M、van der Aalst WMP、ter Hofstede AHM（2005）《过程软件信息系统：通过过程技术连接人和软件》。新泽西州霍博肯威利 [21] van Dongen BF，van der Aalst WMP，Verbeek HMW（2005）《EPC的验证：使用约简规则和Petri网》。收录：Pastor O，FalcáO e Cunha J（eds）《第17届先进信息系统工程会议论文集》（CAiSE’05）。计算机科学课堂讲稿，第3520卷。柏林斯普林格·弗拉格，第372-386页 [22] Desel J，Esparza J（1995）自由选择Petri网。收录：剑桥理论计算机科学丛书，第40卷。剑桥大学出版社·Zbl 0836.68074号 [23] Dufourd C，Finkel A，Schnoebelen Ph（1998）在可判定性和不可判定性之间重置网络。收录：Larsen K、Skyum S、Winskel G（编辑）第25届国际自动机、语言和编程学术研讨会论文集。计算机科学课堂讲稿，第1443卷。柏林斯普林格·弗拉格，第103–115页·Zbl 0909.68124号 [24] Dufourd C，Jančar P，Schnoebelen Ph（1999）重置P/T网的有界性。收录：Wiedermann J、Emde Boas P、Nielsen M（eds）并发讲座和Petri网讲稿。计算机科学，第1644卷。施普林格出版社，柏林，第301–310页·Zbl 0943.68122号 [25] Dehnert J，Rittgen P（2001）《放松业务流程的稳健性》。收录：Dittrich KR、Geppert A、Norrie MC（eds）《第13届先进信息系统工程国际会议论文集》（CAiSE’01）。计算机科学课堂讲稿，第2068卷。柏林斯普林格·弗拉格，第157-170页·Zbl 0980.68816号 [26] Esparza J，Nielsen M（1994）《Petri网的可决定性问题：一项调查》。《信息处理网络杂志》30:143–160·兹比尔083868082 [27] Esparza J（1998）《Petri网问题的可判定性和复杂性：导论》。在：Reisig W，Rozenberg G（编辑）关于Petri网的讲座I：基本模型。计算机科学课堂讲稿，第1491卷。柏林斯普林格·弗拉格，第374–428页·Zbl 0926.68087号 [28] Esparza J（1998）活的和安全的自由选择Petri网的可达性是NP完全的。计算机科学理论198（1-2）：211-224·Zbl 0902.68136号 ·doi:10.1016/S0304-3975（97）00235-1 [29] Fu X，Bultan T，Su J（2002）《电子服务和工作流的正式验证》。收录：Bussler C、Hull R、McIlraith S、Orlowska M、Pernici B、Yang J（编辑）Web服务、电子商务和语义网，CAiSE 2002国际研讨会（WES 2002）。计算机科学课堂讲稿，第2512卷。柏林斯普林格·弗拉格，第188-202页 [30] Fu X，Bultan T，Su J（2004）交互BPEL Web服务分析。摘自：《国际万维网会议：第13届万维网国际会议记录》，纽约，ACM出版社，第621-630页 [31] Fahland D、Favre C、Jobstmann B、Koehler J、Lohmann N、Voelzer H、Wolf K（2009）《工业业务流程模型的即时稳健性检查》。作者：Dayal U、Eder J、Koehler J、Reijers H（eds）Business process management（BPM 2009）。计算机科学课堂讲稿，第5701卷。柏林斯普林格·弗拉格，第278-293页 [32] Finkel A，Schnoebelen Ph（2001）《到处都是井然有序的过渡系统》！。计算机科学理论256（1-2）：63–92·Zbl 0973.68170号 ·doi:10.1016/S0304-3975（00）00102-X [33] Georgakopoulos D、Hornick M、Sheth A（1995）《工作流管理概述：从流程建模到工作流自动化基础设施》。分发并行数据库3（2）：119–153·doi:10.1007/BF01277643 [34] van Glabbeek RJ，Weijland WP（1996），互模拟语义中的分支时间和抽象。美国临床医学杂志43（3）：555–600·兹伯利0882.68085 ·数字对象标识代码：10.1145/233551.233556 [35] Hinz S、Schmidt K、Stahl C（2005）《将BPEL转换为Petri网》。参加：Aalst WMP、Benatallah B、Casati F、Curbera F（eds）国际业务流程管理会议（BPM 2005）。计算机科学课堂讲稿，第3649卷。柏林斯普林格·弗拉格，第220–235页 [36] van Hee KM、Serebrenik A、Sidorova N、Voorhoeve M（2005）《资源约束工作流网络的健全性》。收录：Ciardo G，Darondeau P（eds）《Petri网的应用和理论》，2005年。计算机科学课堂讲稿，第3536卷。施普林格出版社，柏林，第250–267页·Zbl 1128.68391号 [37] van Hee KM，Sidorova N，Voorhoeve M（2003）逐步精化方法中工作流网络的稳健性和可分性。收录于：Aalst WMP，Best E（eds）Application and theory of Petri nets 2003。计算机科学课堂讲稿，第2679卷。柏林施普林格-弗拉格，第335–354页·Zbl 1274.68263号 [38] van Hee KM、Sidorova N、Voorhoeve M（2004），工作流网络的一般可靠性是可判定的。收录：Cortadella J，Reisig W（eds）《Petri网的应用和理论》，2004年。计算机科学课堂讲稿，第3099卷。柏林斯普林格·弗拉格，第197-215页·Zbl 1094.68070号 [39] Jablonski S、Bussler C（1996）《工作流管理：建模概念、体系结构和实现》。伦敦国际汤姆森计算机出版社 [40] Jensen K（1997）彩色Petri网。基本概念、分析方法和实际应用，第1卷。EATCS理论计算机科学专著。施普林格出版社，柏林·Zbl 0883.68098号 [41] Juhas G，Kazlov I，Juhasova A（2010）《实例死锁：冻结程序背后的奥秘》。In:Lilius J，Penczek W（eds）应用与Petri网理论，2010年。计算机科学课堂讲稿，第6128卷。柏林斯普林格·弗拉格，第1-17页 [42] Kindler E，van der Aalst WMP（1999）《活力、公平和重现》。Inf过程Lett 70（6）：269–274·Zbl 0953.68575号 ·doi:10.1016/S0020-0190（99）00074-5 [43] Karamanolis C，Giannakopoulou D，Magee J，Wheater SM（2000），工作流模式的模型检查。收录：第四届国际企业分布式对象计算会议论文集（EDOC'00），美国加利福尼亚州洛斯阿拉米托斯，2000年。IEEE计算机学会，第170-181页 [44] Kindler E（2006）《EPC的语义：解决恶性循环的框架》。数据知识工程56（1）：23–40·doi:10.1016/j.datak.2005.02.005 [45] Kindler E，Martens A，Reisig W（2000），工作流应用程序的互操作性：全球稳健性的本地标准。收录：Aalst WMP、Desel J、Oberweis A（编辑）《业务流程管理：模型、技术和实证研究》。计算机科学课堂讲稿，第1806卷。柏林斯普林格·弗拉格，第235-253页 [46] Keller G，Nüttgens M，Scheer AW（1992）Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten（EPK）。德国萨尔布吕肯萨尔州大学赫夫特89（Heft 89）韦尔芬特利钦根学院（Veröffentlichungen des Institutes für Wirtschaftsinformatik） [47] Lohmann N，Massuthe P，Stahl C，Weinberg D（2006）分析交互BPEL流程。收录：Dustdar S、Fiadeiro JL、Sheth A（eds）商业流程管理国际会议（BPM 2006）。计算机科学讲义，第4102卷。柏林斯普林格·弗拉格，第17-32页 [48] Leymann F，Roller D（1999）《生产工作流程：概念和技术》。新泽西州上鞍河Prentice-Hall PTR·Zbl 0945.68539号 [49] Lohmann N，Weinberg D（2010）Wendy：一种综合服务合作伙伴的工具。In:Lilius J，Penczek W（eds）应用与Petri网理论，2010年。计算机科学课堂讲稿，第6128卷。柏林斯普林格·弗拉格，第279-307页 [50] Lin H，Zhao Z，Li H，Chen Z（2002）一种新的识别结构冲突的图约简算法。摘自：第三十四届夏威夷国际系统科学年会会议记录（HICSS-35）。IEEE计算机学会出版社 [51] Martens A（2003）《Web服务的兼容性》。Petri Net Newsl 65：12–20 [52] Martens A（2005）分析基于Web服务的业务流程。摘自：Cerioli M（ed）第八届软件工程基本方法国际会议论文集（FASE 2005）。计算机科学课堂讲稿，第3442卷。柏林斯普林格·弗拉格，第19-33页·Zbl 1119.68305号 [53] Martens A（2005）可执行过程和抽象过程之间的一致性。收录：IEEE电子技术、电子商务和电子服务国际会议记录（EEE’05）。IEEE计算机学会出版社，第60–67页 [54] Mendling J、Moser M、Neumann G、Verbeek HMW、van Dongen BF、van der Aalst WMP（2006）SAP参考模型中的错误EPC。收录：Dustdar S、Fiadeiro JL、Sheth A（eds）商业流程管理国际会议（BPM 2006）。计算机科学课堂讲稿，第4102卷。柏林斯普林格·弗拉格，第451-457页 [55] Mendling J、Neumann G、van der Aalst WMP（2007）《基于度量的过程模型中错误发生的理解》。参见：Curbera F、Leymann F、Weske M（eds）合作信息系统OTM会议记录（CoopIS 2007）。计算机科学课堂讲稿，第4803卷。施普林格出版社，柏林，第113–130页 [56] Massuthe P、Reisig W、Schmidt K（2005）SOA的操作指南方法。附：2005年第二届东南欧正式方法研讨会（SEEFM05）会议记录，马其顿共和国奥赫里德 [57] Massuthe P、Reisig W、Schmidt K（2005）SOA的操作指南方法。数学计算远程信息学年鉴1（3）：35–43 [58] zur Muehlen M（2004）《基于工作流的过程控制：工作流驱动的过程信息系统的基础、设计和应用》。Logos，柏林 [59] Murata T（1989）Petri网：特性、分析和应用。程序IEEE 77（4）：541–580·数字对象标识代码：10.1109/5.24143 [60] Mendling J，Verbeek HMW，van Dongen BF，van der Aalst WMP，Neumann G（2008）SAP参考模型EPC中错误的检测和预测。数据知识工程64（1）：312–329·文件编号：10.1016/j.datak.2007.06.019 [61] Ouyang C、Dumas M、van der Aalst WMP、ter Hofstede AHM、Mendleng J（2009）《从业务流程模型到面向流程的软件系统》。ACM Trans Softw Eng Methodol公司19（1）：1–37·doi:10.1145/1555392.1555395 [62] Puhlmann F，Weske M（2006）《服务编配的交互稳健性》。摘自：Dan A、Lamersdorf W（eds）《面向服务计算学报》（ICSOC 2006）。计算机科学课堂讲稿，第4294卷。柏林斯普林格·弗拉格，第302-313页 [63] Puhlmann F，Weske M（2006）《关于懒惰行为稳健性的调查》。收录：Dustdar S、Fiadeiro JL、Sheth A（eds）商业流程管理国际会议（BPM 2006）。计算机科学课堂讲稿，第4102卷。柏林斯普林格·弗拉格，第145-160页 [64] Puhlmann F，Weske M（2009）《回头看：像素》。收录：Jensen K，Aalst WMP（eds）Transactions on Petri nets and other models of concurrency II。计算机科学课堂讲稿，第5460卷。柏林斯普林格·弗拉格，第64-78页·Zbl 1235.68110号 [65] Rozinat A，van der Aalst WMP（2008），基于监控实际行为的过程一致性检查。信息系统33（1）：64–95·doi:10.1016/j.is.2007.07.001 [66] Sadiq W，Orlowska ME（1997）关于工作流概念建模中的正确性问题。摘自：第五届欧洲信息系统会议记录（ECIS’97），爱尔兰科克，第19-21页 [67] Sadiq W，Orlowska ME（2000）使用图形简化技术分析过程模型。信息系统25（2）：117–134·doi:10.1016/S0306-4379（00）00012-0 [68] Salimifard K，Wright M（2001）《基于Petri网的工作流系统建模：概述》。欧洲运营研究杂志134（3）：664–676·兹比尔0984.90005 ·doi:10.1016/S0377-2217（00）00292-7 [69] Trcka N、van der Aalst WMP、Sidorova N（2009）《数据流反模式：发现工作流中的数据流错误》。发表于：Eck P、Gordijn J、Wieringa R（eds）Advanced information systems engineering，第21届国际先进信息系统工程会议（CAiSE’09）。计算机科学课堂讲稿，第5565卷。柏林斯普林格·弗拉格，第425-439页 [70] van der Toorn R（2004）《使用Petri网进行基于组件的软件设计：基于行为继承的方法》。荷兰埃因霍温科技大学博士论文 [71] Verbeek HMW，van der Aalst WMP（2005）使用Petri网分析BPEL流程。在：Marinescu D（ed）关于Petri网在协调、工作流和业务流程管理中的应用的第二次国际研讨会论文集。佛罗里达州迈阿密佛罗里达国际大学，第59-78页 [72] Verbeek HMW，van der Aalst WMP，ter Hofstede AHM（2007）验证具有取消区域和OR联接的工作流：一种基于宽松稳健性和不变量的方法。计算J 50（3）：294–314·doi:10.1093/comjnl/bxl074 [73] Verbeek HMW，Basten T，van der Aalst WMP（2001）使用Woflan诊断工作流过程。计算J 44（4）：246–279·Zbl 0993.68141号 ·doi:10.1093/comjnl/44.4.246 [74] Vanhatalo J，Völzer H，Leymann F（2007）通过SESE分解对业务流程模型进行更快、更集中的控制流分析。收录：Krämer B、Lin K、Narasimhan P（eds）《面向服务计算学报》（ICSOC 2007）。计算机科学课堂讲稿，第4749卷。柏林施普林格-弗拉格出版社，第43–55页 [75] Verbeek HMW、Wynn MT、van der Aalst WMP、ter Hofstede AHM（2010）重置/抑制剂网络的减少规则。计算机系统科学杂志76（2）：125–143·Zbl 1187.68330号 ·doi:10.1016/j.jcss.2009.06.003 [76] Wynn MT、van der Aalst WMP、ter Hofstede AHM、Edmond D（2006）《使用取消区域和OR-joins验证工作流：基于重置网络和可达性分析的方法》。收录：Dustdar S、Fiadeiro JL、Sheth A（eds）商业流程管理国际会议（BPM 2006）。计算机科学课堂讲稿，第4102卷。柏林斯普林格·弗拉格，第389–394页 [77] Wynn MT、Edmond D、van der Aalst WMP、ter Hofstede AHM（2005）使用重置网络实现OR-join工作流的通用、正式和可判定方法。收录：Ciardo G，Darondeau P（eds）《Petri网的应用和理论》，2005年。计算机科学课堂讲稿，第3536卷。柏林斯普林格·弗拉格，第423-443页·Zbl 1128.68389号 [78] Weske M（2007）《业务流程管理：概念、语言、架构》。柏林斯普林格-Verlag [79] Wong PYH，Gibbons J（2007）工作流规范和细化的过程代数方法。In：Lumpe M，Vanderperen W（编辑）软件组成。计算机科学课堂讲稿，第4829卷。柏林斯普林格·弗拉格，第51–65页 [80] Wong PYH，Gibbons J（2008）BPMN的流程语义。参见：Liu S、Maibaum T、Arki K（eds）正式工程方法国际会议（ICFEM 2008）。计算机科学课堂讲稿，第5256卷。柏林斯普林格·弗拉格，第27-31页 [81] Wong PYH，Gibbons J（2009）《工作流建模的属性规范》。摘自：第七届综合形式方法国际会议论文集。计算机科学讲义，第5423卷。施普林格出版社，柏林·Zbl 1211.68258号 [82] White SA等人（2009）业务流程建模符号规范（1.2版，OMG最终采用规范） [83] Wolf K（2009）我的服务有合作伙伴吗？。收录：Jensen K，Aalst WMP（eds）Transactions on Petri nets and other models of concurrency II。计算机科学课堂讲稿，第5460卷。柏林斯普林格·弗拉格，第152-171页 [84] Wombacher A（2006）跨组织工作流中的分散一致性检查。摘自：电子技术、电子商务和电子服务国际会议记录（CEC/EEE 2006）。IEEE计算机学会，第39–46页 [85] Wynn MT、Verbeek HMW、van der Aalst WMP、ter Hofstede AHM、Edmond D（2009）《重置工作流网络的稳健性保护简化规则》。《信息科学》179（6）：769–790·Zbl 1162.68488号 ·doi:10.1016/j.ins.2008.10.033 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。