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

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