一种基于时间Petri网的工作流模型

A Workflow Model Based on Timed Petri Net

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.

How to modeling a business process is discussed in this paper, in which the task stream and the resource stream are concurrently occurred. A Resource/Task net (R/T-net) based on the timed Petri net and the modeling process by using R/T-net for workflow is proposed. The resource dependence and expectancy set in task model can be used to control the task transition, while the fire-rule and the routing-rule can be used to control cooperation, synchronism, assignment and transition of resource, so that it is more powerful than the Petri net in the workflow modeling, such as the office automation, the product manufacturing, the material transaction, and so on.