【作者】 万和平；

【导师】 王明哲；

【作者基本信息】 华中科技大学 ， 控制理论与控制工程， 2005， 硕士

【摘要】 工作流管理是一个被业界广泛应用并迅速发展的技术,而工作流建模是工作流技术研究的基础。本文主要是基于Petri 理论对工作流建模方法和模型的分析评价方法进行研究与探索。文章首先从工作流管理联盟定义的元模型概念出发,抽象出企业工作流模型的视图组成-组织视图、资源视图、过程视图和信息视图。基于此并结合Petri 网知识,提出了一种一般性的工作流Petri 网建模方法,当中详细地阐述了如何基于Petri 网进行模型的定义、模型的执行以及模型的分析,并在最后给出了利用Petri 网创建工作流模型的具体流程。本文同时分析并阐述了层次工作流Petri 网建模方法的关键概念,给出了利用此方法进行复杂工作流建模的解决办法,完成了层次工作流Petri 网模型主要性质的验证。并基于此方法中的“区”的概念与定义,给出了工作流模型动态变化问题的解决方案。本文还提出了基于可达树的分析方法用于简单工作流Petri 网模型正确性的验证,同时利用四种Petri 简化规则完成了对层次工作流Petri 网模型的正确性验证。另外还给出了模型的时间性能和资源利用性能,用于对业务过程的评价。为了支持对工作流Petri 网建模与分析评价方法的研究,本文给出了工作流Petri网建模工具软件-VisualPN 的设计方案。文章最后以一个实例对文中提出的方法进行了论证和检验,并对系统模型仿真结果进行了分析。更多还原

【Abstract】 Workflow Management is widely used in many application areas. Modeling is the base topic of workflow research. The thesis mainly studies a methodology for constructing a workflow model and analyzing methods of workflow model. The thesis studies meta-model of workflow, analyzes four major perspectives (i.e., views) that logically combine to describe a workflow model. These are organizational view, resource view, process view and information view. Then a methodology about how to use Petri Nets to define and execute workflow model based on the four views is presented. A hierarchical Petri net-based approach for complicated workflow model design and associated rules are described. Concept of region is discussed and dynamic workflow modeling is analyzed with the definition of regions. From verification of soundness and performance evaluation the Petri net-based workflow model is analyzed. In order to verify the soundness of simple Petri net-workflow model, an arithmetic based on reachable tree is given. By four Petri reduction rules, soundness of hierarchical workflow model is proved too. Time performance and utilized resource performance are analyzed by using simulation method so that business process can be improved and optimized. In addition, the design of the workflow modeling tool named VisualPN is described. At the end of this paper, a Petri net-based workflow model for a real business process is constructed and analyzed under the above-mentioned methods.更多还原