论文部分内容阅读
工作流管理技术是20世纪90年代初兴起的软件技术，其实现的关键在于工作流概念模型的建立。Petri网（GSPN）作为一种图形化的数学建模工具，适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法，运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系，采用GSPN和马尔可夫链相结合的工作流性能分析方法，为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的，有利于工作流管理系统的实现。