工作流petr网模型建模与分析评价方法研究.pdfVIP

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