沃夫兰 swMATH ID: 7028 软件作者： 埃里克·韦贝克（Eric Verbeek）；Wil M.P.范德阿尔斯特。 描述： Woflan：基于Petri网的工作流分析器。工作流管理技术为业务流程支持提供了一种灵活的解决方案，有助于轻松创建新的业务流程和修改现有流程。不幸的是，当今的工作流产品不支持工作流验证。在设计时发生的错误不会被检测到，并且会导致运行时发生代价高昂的故障。Woflan可以帮助您在工作流投入生产之前检测这些错误。Woflan是一款具有独特功能的卓越产品。部署了基于最新Petri网的分析技术来验证工作流过程的正确性。Woflan的功能从其他工作流工具放弃的地方开始。Woflan可以与多个工作流管理系统和BPR工具交互。挑战不在于检测错误：真正的挑战是提供诊断，说明为什么出现了错误，以及如何修复。为此，Woflan生成了高质量的诊断信息，指导设计者处理错误。Woflan基于当代工作流管理系统的强大理论成果和实践经验 主页： http://www.win.tue.nl/woflan/doku.php 关键词： Petri网;工作流程分析器 相关软件： PNML公司;汪汪叫;WSAT公司;XRL/花;自旋蛋白;形而上学;CPN/工具;设计/CPN;BPEL2PN公司;ExSpect公司;z3（零3）;自动变速器;管道;亚斯珀;VIP工具;mCRL2型;蒂娜;里奥;棱镜;智能发电机 引用于： 35文件 更多出版物： http://www.win.tue.nl/woflan/doku.php？id=publications网站 全部的 前5名46位作者引用 18 Wil M.P.范德阿尔斯特。 7 纳塔利亚·西多罗娃 7 范希、基斯·马克斯 5 H.M.W.韦贝克。 4 阿瑟·霍夫斯泰德。 4 马克·沃霍夫 三 吐温·巴斯滕 三 马蒂亚斯·韦斯克 2 大仲马，马龙 2 A.Hirnschall。 2 克里斯蒂安·斯塔尔 2 van der Werf，Jan Martijn E.M。 2 埃里克·韦贝克 1 卡梅尔·巴考伊 1 迈克尔·布隆丁 1 斯蒂芬·布鲁特尔 1 新娘，哈德里安 1 陈振宇 1 朱利奥·克莱姆普纳。 1 埃里克·P·德文克。 1 弗洛里安·戈茨查克 1 马利卡·尤瓦拉伦 1 大卫·詹森（David N.Jansen）。 1 艾哈迈德·赫尔登 1 纳塔莉亚·科卡什 1 奥尔加·库什纳伦科 1 克劳斯，克里斯蒂安 1 马塞洛·拉罗莎 1 伊琳娜·洛马佐娃（Irina A.Lomazova）。 1 菲利普·马佐维耶基 1 门丁，简 1 亚历山大·诺塔 1 奥利维娅·奥内亚 1 菲利普·奥特马特 1 欧阳春 1 法比安·佩鲁克斯 1 Polyvyany，Artem公司 1 曼弗雷德·赖切特 1 Hajo A.Reijers。 1 亚历山大·谢列布雷尼克 1 van Dongen，Boudewijn F。 1 芭芭拉·韦伯 1 马蒂亚斯·威德利奇 1 罗尔·韦林加（Roel J.Wieringa）。 1 韦恩、莫·桑达尔 1 周从华 全部的 前5名13篇连载文章中引用 三 计算的形式方面 2 计算机基础理论 2 计算机科学课堂讲稿 1 信息学报 1 《计算机杂志》。A部分/B部分 1 信息科学 1 理论计算机科学 1 计算机程序设计科学 1 逻辑与计算杂志 1 系统分析、建模仿真 1 武汉大学自然科学学报 1 国际应用数学与计算机科学杂志 1 电子商务研究 全部的 前5名在6个字段中引用 34 计算机科学（68至XX） 9 运筹学、数学编程（90-XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 系统论；控制（93至XX） 按年份列出的引文