收藏本站
《全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于着色Petri网的工作流模型的研究与应用

高德平  周国祥  
【摘要】:建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。本文介绍了着色Petri网和着色工作流网(CWF_nets)的相关概念,并给出了一种分析CWF_nets的正确性的极大变迁序列方法。最后通过对一个项目金额申报(Project Amount Declaration)业务流程的建模和分析,验证了基于CWF_nets模型的正确性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
11 张学惠,韩永飞;计算并行性的研究和描述[J];吉林大学学报(理学版);1992年03期
12 王生举,周培景;Petri 网中寻找流程的方法[J];计算机应用;1990年04期
13 宋贤钧;王炳鹏;郭佳;;基于WF-net的工作流建模技术及应用[J];计算机科学;2006年04期
14 陈国宁,李陶深;CSCD环境下协作设计过程的一种建模方法及应用[J];广西科学院学报;2004年02期
15 杨武;李晓渝;曹泽瀚;;一种面向对象Petri网模型的语义和行为分析[J];计算机科学;2005年10期
16 王亚琴;;基于Petri网的办公自动化系统研究[J];电脑与电信;2011年06期
17 常小慧 ,李宏伟;基于C#的GML文档解析[J];电脑编程技巧与维护;2004年11期
18 吴胜宗;郝克刚;;一个基于Petri网的工作流模型及其优化[J];计算机应用与软件;2008年04期
19 罗怡桂,顾君忠;一种新型Petri Net:双层变迁定时Petri Net[J];计算机工程;2002年08期
20 黄海贤;匡洪海;黄少先;;配电网停电管理系统分析[J];广东电力;2006年06期
中国重要会议论文全文数据库 前10条
1 高德平;周国祥;;基于着色Petri网的工作流模型的研究与应用[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
2 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 李晓林;李钢;张仁斌;高森;张明;;基于着色时间Petri网的公文发文工作流建模与分析[A];中国仪器仪表学会第十三届青年学术会议论文集[C];2011年
4 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
5 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
6 刘玉君;张帆;李瑞;;基于Petri网理论的造船项目工作流建模研究[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年
7 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
8 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
9 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
10 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
中国重要报纸全文数据库 前10条
1 本报记者 操秀英通讯员 马康 王丹;信息化铺就小康路[N];科技日报;2008年
2 记者 霍炜;东阳镇“触网”啦![N];山西科技报;2008年
3 ;PDM信息集成技术[N];科技日报;2007年
4 ;东软:中国领先的软件和解决方案供应商[N];中国计算机报;2007年
5 郑宗杰;电子不停车收费系统将有国标[N];中国交通报;2006年
6 本报记者  明贵栋;中科院开创中国GIS软件国际化先河[N];中国工业报;2006年
7 于翔;“国产基础软件平台”促软件自主创新[N];网络世界;2008年
8 北京先进制造技术咨询中心 李勇;企业管理软件的发展趋势[N];中国计算机报;2001年
9 汪泱;神舟AVPLAN荣获项目管理软件优秀奖[N];中国航天报;2008年
10 记者 杨春莲 通讯员 邱慧 朱武成;《地理标志产品坭兴陶》国家 标准研究与应用示范科研项目获批[N];钦州日报;2009年
中国博士学位论文全文数据库 前10条
1 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
2 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
3 任小龙;基于Petri网的FMS调度问题研究[D];西安电子科技大学;2010年
4 张君一;基于GSPN与ESPN的制造系统可靠性模块化建模与分析[D];东北大学;2008年
5 孙长乐;某型号产品协同设计系统构建及支持技术研究[D];大连理工大学;2010年
6 鲁工圆;铁路车站作业系统仿真技术研究[D];西南交通大学;2011年
7 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
8 邓建;业务过程软件的模型驱动开发技术研究[D];电子科技大学;2012年
9 刘佳;面向维修的飞机总体布置设计技术研究[D];南京航空航天大学;2010年
10 王达;时间序列数据挖掘研究与应用[D];浙江大学;2004年
中国硕士学位论文全文数据库 前10条
1 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
2 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
3 王建军;基于多维Petri网的工作流模型研究[D];燕山大学;2010年
4 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
5 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
6 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
7 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
8 何鹏;基于随机Petri网的物流业务流程分析工具的研究与开发[D];武汉理工大学;2010年
9 童隽;基于时间Petri网的工作流建模及应用[D];浙江师范大学;2010年
10 刘石坚;面向对象模糊Petri网的理论及建模研究[D];长沙理工大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978