摘要
工作流管理技术是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.
出处
《安庆师范学院学报（自然科学版）》
2010年第1期26-29,共4页
Journal of Anqing Teachers College(Natural Science Edition)
基金
合肥学院教学研究重点项目(2008jyzd11)
安徽省自然科学研究项目(KJ2009B125)资助
