| 基于Petri网的工作流建模合理性验证算法 |
| |
| 引用本文： | 郝玫,王道平.基于Petri网的工作流建模合理性验证算法[J].计算机工程与应用,2008,44(13):228-231. |
| |
| 作者姓名： | 郝玫 王道平 |
| |
| 作者单位： | 北京科技大学 经济管理学院，北京 100083 |
| |
| 摘 要： | Petri网是一种适用于多种系统的图形化、数学化的建模工具，并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析，完善并改进了一种基于Petri网的工作流模型合理性验证算法，最后用实例验证了该算法的正确性。
|
| 关 键 词： | 工作流模型 Petri网 合理性 验证算法 |
| 文章编号： | 1002-8331(2008)13-0208-04 |
| 收稿时间： | 2007-8-23 |
| 修稿时间： | 2007年8月23日 |
Workflow modeling rationality validation algorithm based on Petri-net |
| |
| HAO Mei,WANG Dao-ping.Workflow modeling rationality validation algorithm based on Petri-net[J].Computer Engineering and Applications,2008,44(13):228-231. |
| |
| Authors: | HAO Mei WANG Dao-ping |
| |
| Affiliation: | College of Economics and Management，University of Science and Technology Beijing，Beijing 100083，China |
| |
| Abstract: | Petri-net is a graphic and mathematical modeling tool that can be applied to variety systems.In addition,it can provide the techniques and tools for the workflow model structural analysis and performance evaluation.Based on the analysis of the existing workflow rationality validation theorems and algorithms,a rationality validation algorithm is perfected and mended,and at last the correctness of this algorithm is verified by an example. |
| |
| Keywords: | workflow model petri-net rationality validation algorithm |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
