计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
10期
48-50
,共3页
刘显明%李师贤%李卫华%梁文%马勇
劉顯明%李師賢%李衛華%樑文%馬勇
류현명%리사현%리위화%량문%마용
扩展分区%业务流程%Petri网%状态空间计算
擴展分區%業務流程%Petri網%狀態空間計算
확전분구%업무류정%Petri망%상태공간계산
extended zone%business process%Petri net%state space computation
业务流程网是一种用于业务流程建模的新工具.介绍了业务流程网基本概念后,提出一种用于业务流程网状态空间计算的新方法.该方法以自动机研究领域的分区方法为基础,为分区扩展成本信息,从而得到一种扩展分区,进而给出状态空间计算方法,最后证明了:对于有界的业务流程网来说,扩展分区的计算是可终止的,并且最小成本可达问题是可判定的.
業務流程網是一種用于業務流程建模的新工具.介紹瞭業務流程網基本概唸後,提齣一種用于業務流程網狀態空間計算的新方法.該方法以自動機研究領域的分區方法為基礎,為分區擴展成本信息,從而得到一種擴展分區,進而給齣狀態空間計算方法,最後證明瞭:對于有界的業務流程網來說,擴展分區的計算是可終止的,併且最小成本可達問題是可判定的.
업무류정망시일충용우업무류정건모적신공구.개소료업무류정망기본개념후,제출일충용우업무류정망상태공간계산적신방법.해방법이자동궤연구영역적분구방법위기출,위분구확전성본신식,종이득도일충확전분구,진이급출상태공간계산방법,최후증명료:대우유계적업무류정망래설,확전분구적계산시가종지적,병차최소성본가체문제시가판정적.
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.