首页> 中文期刊>硅谷 >基于Petri网的工作流模型的合理性验证

基于Petri网的工作流模型的合理性验证

开具论文收录证明 >>

页面导航

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

摘要

首先根据现实世界中的工作流正确性的概念,给出工作流网正确性的形式化描述,并给出工作流模型的合理性的定义,最后提出基于可达数的合理性验证算法,从而快速完成工作流模型的分析与验证.

著录项

来源
《硅谷》|2010年第1期|73|共1页
作者
孙建召;
展开▼
作者单位

河南经贸职业学院,河南,郑州,450053;

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

相似文献

中文文献
外文文献
专利

1. 基于Petri网工作流过程模型合理性验证方法 [J] . 王立君 ,郭晓冬 . 吉林大学学报（信息科学版） . 2011,第006期
2. 基于Petri网化简技术的工作流模型合理性验证 [J] . 赵军富 ,靳荣 ,马胜梅 . 微计算机信息 . 2009,第015期
3. 一种基于Petri网的工作流模型合理性验证方法 [J] . 王世兴 ,王建良 . 软件导刊 . 2008,第11期
4. 基于Petri网的工作流建模合理性验证算法 [J] . 郝玫 ,王道平 . 计算机工程与应用 . 2008,第013期
5. 基于Petri网的工作流模型合理性研究 [J] . 陈翔 ,夏国平 ,李涛 . 北京理工大学学报 . 2004,第12期
6. 基于Petri网的位置敏感工作流建模与正确性验证方法 [C] . 张力 ,赵炯 ,贾伟昊 . 第二届中国业务过程管理大会 . 2012
7. 基于Petri网与时态逻辑的工作流模型及模型验证 [A] . 杨秋妹 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号