首页> 中文期刊> 《计算机工程与应用》 >基于Petri网的工作流建模合理性验证算法

基于Petri网的工作流建模合理性验证算法

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段.通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最后用实例验证了该算法的正确性.

著录项

来源
《计算机工程与应用》 |2008年第13期|228-231|共4页
作者
郝玫; 王道平;
展开▼
作者单位

北京科技大学;

经济管理学院;

北京;

100083;

北京科技大学;

经济管理学院;

北京;

100083;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
工作流模型; Petri网; 合理性; 验证算法;

相似文献

中文文献
外文文献
专利

1. 基于着色Petri网的混合工作流建模及合理性分析 [J] . 单继城 ,黄光奇 ,王德鑫 . 信息工程大学学报 . 2015,第002期
2. 基于着色Petri网的工作流建模和合理性分析 [J] . 陈翔 ,夏国平 . 计算机集成制造系统 . 2004,第004期
3. 基于矩阵模型的工作流合理性验证算法研究 [J] . 高捷 ,吴华瑞 . 计算机工程与设计 . 2010,第011期
4. 基于Petri网工作流过程模型合理性验证方法 [J] . 王立君 ,郭晓冬 . 吉林大学学报（信息科学版） . 2011,第006期
5. 基于Petri网的工作流模型合理性验证 [J] . 王瑜 ,李嶒 . 电脑知识与技术 . 2010,第011期
6. 基于层次Petri网的活动—角色工作流建模的研究与应用 [C] . PENG Yiming ,彭一明 ,GAO Zhitong . CERNET（中国教育和科研计算机网）第二十二届学术年会 . 2015
7. Petri网工作流建模及工作流管理系统Flowstep任务引擎 [A] . 刘云生 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号