以扩展分区为核心的流程网分析方法

Analysis approach of business process net using extended zone

业务流程网是一种用于业务流程建模的新工具。介绍了业务流程网基本概念后,提出一种用于业务流程网状态空间计算的新方法。该方法以自动机研究领域的分区方法为基础,为分区扩展成本信息,从而得到一种扩展分区,进而给出状态空间计算方法,最后证明了:对于有界的业务流程网来说,扩展分区的计算是可终止的,并且最小成本可达问题是可判定的。

Business process net is a new tool used for business process modelling.This paper introduces basic notions of business process net,then proposes a new analysis approach used for state space computation of business process net.The idea of this approach is extending zone based method with cost information ,then the paper gives the algorithm of state space computation based on the extended zone.Finally the paper proves that for the bounded business process net,the computation process can be terminated and the reachability of minimum cost is decidable.