检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]合肥学院管理系,安徽合肥230022 [2]合肥工业大学计算机与信息学院,安徽合肥230009
出 处:《安庆师范学院学报(自然科学版)》2010年第1期26-29,共4页Journal of Anqing Teachers College(Natural Science Edition)
基 金:合肥学院教学研究重点项目(2008jyzd11);安徽省自然科学研究项目(KJ2009B125)资助
摘 要:工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。Workflow management techniques were developed in early 1990s, and its critical part was conceptual model- ing. As a kind of graphical and mathematical modeling tools, Petri Net is applicable to the modeling requirement of workflow. A method of modeling for workflow based on Generalized Stochastic Petri Net (GSPN) is proposed and the validity and reliability is checked using reachable graph method. By utilizing the equivalence relation between GSPN and Markov chain, a method of combining GSPN and Markov chain is used to analyze the performance of workflow. The effectiveness of this method is verified by an application case, which will help to implement a workflow management system.
关 键 词:工作流建模 广义随机PETRI网 马尔可夫链 模型分析
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3