基于着色时间Petri网的工作流模型及其性能分析

为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析.采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程.给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理.以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证.

Workflow Model with Colored Timed Petri Net and Its Performance Analysis

To apply concurrent workflow model with colored timed Petri net to product data management system, the static and dynamic structural performance of workflow model at modeling phase is analyzed. Activity scanning is adopted as a simulation strategy to assess the behavior of workflow system. The way to transform workflow model into colored timed workflow net model is studied. The rules for verifying whether there exist deadlocks or traps in concurrent workflow are detected through reachability graph. A concurrent and looped examine-and-approve workflow with its currency control module having or-splits jumping out of function is illustrated as an example to analyze and validate the presented approaches.