收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的软件过程建模技术的研究

陈挺  张育平  
【摘要】:本文在研究Petri网建模方法和描述过程的能力的基础上给出了用Petri网描述软件过程的具体方法并根据传统Petri网的分析方法给出几个常用的算法以供对所建立模型进行验证分析。最后给出一个基于此建模方法的PSEE系统的设计结构图。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
2 何锋;;Petri网的教学应用探讨[J];计算机教育;2008年04期
3 刘鹏远;李瑞华;马立元;;复杂武器系统虚拟操作过程建模技术研究[J];军械工程学院学报;2007年06期
4 尹琴;王小平;;基于Petri网的以活动为中心的软件过程建模方法[J];计算机应用与软件;2008年01期
5 赵杨,李彤,柳青;支持软件并行工程过程建模的一种形式化方法[J];计算机工程;2004年18期
6 曲长征;陶凤和;张柳;封会娟;;基于赋时有色petri网的维修过程模型[J];计算机仿真;2006年04期
7 张玉艳;刘电霆;;基于Petri网的网络化制造过程建模[J];桂林航天工业高等专科学校学报;2007年02期
8 孙妍姑;;基于Petri网的网格工作流建模与优化[J];淮南师范学院学报;2011年04期
9 丁剑洁;侯红;郝克刚;;基于Petri网的软件维护过程建模及应用分析[J];系统仿真学报;2007年S1期
10 赵娜;赵锦新;李彤;;支持软件演化的第2代SDDM软件过程模型[J];计算机工程;2007年14期
11 陈洪娜;祖旭;周峰;;工作流技术研究发展状况、研究内容及趋势[J];重庆工学院学报;2006年02期
12 刘士喜;许志才;方贤文;;基于Petri网软件过程执行机制的研究[J];安徽理工大学学报(自然科学版);2007年03期
13 盛任,周燕飞;产品开发项目管理过程模型的研究[J];机械与电子;2004年09期
14 孙建召;曾巧明;;基于面向对象Petri网的工作流建模及性能分析[J];计算机技术与发展;2007年10期
15 王妍;曹宝香;赵景秀;;基于Petri网的仓库管理流程建模[J];计算机与现代化;2007年10期
16 邹海;储德新;高顺利;;基于Petri网的工作流建模与分析[J];安徽大学学报(自然科学版);2011年02期
17 黄彬,高诚辉;基于Petri网的网络化快速原型制造过程建模研究[J];福州大学学报(自然科学版);2004年06期
18 王茜,沈潞;过程建模的Petri网模型[J];计算机应用与软件;2001年09期
19 姜浩,董逸生,罗军舟;一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)[J];Journal of Southeast University;2002年04期
20 林健,张玲玲;基于RC和着色Petri网的企业信息化过程建模研究[J];系统工程学报;2003年04期
中国重要会议论文全文数据库 前10条
1 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
2 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
3 王波;曹耀钦;宋恒辛;;基于Petri网的工作流过程建模研究[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
4 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
5 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
6 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
7 胡少媚;贺晓波;;支持快速反应的过程管理模型和仿真[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
8 温海英;孙波;;基于Petri网的自适应工作流模型的研究[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
9 蒋宏潮;王大亮;班晓娟;张德政;;基于Petri网的业务流程评估[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
10 赵鹏举;熊庆宇;蔡章利;石为人;;基于对象Petri网的工业仪表研发管理流程建模[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 余本功;复杂产品开发过程建模与管理研究[D];合肥工业大学;2011年
2 陈曦;基于质量的注塑过程建模方法研究[D];浙江大学;2001年
3 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
4 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
5 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
6 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
7 马立元;大型复杂装备虚拟操作训练系统设计方法研究[D];南京理工大学;2006年
8 邱福生;型号产品工艺分工系统及其关键技术研究[D];哈尔滨工业大学;2007年
9 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
10 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 高会林;基于Petri网的型号产品制造过程建模与仿真技术的研究[D];哈尔滨工业大学;2007年
2 曾益;基于BPR对象的ERP系统的研究及实施[D];武汉理工大学;2004年
3 徐庆;基于工作流系统的CMM支撑环境和工具的研究[D];合肥工业大学;2002年
4 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
5 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
6 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
7 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
8 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
9 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
10 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
中国重要报纸全文数据库 前4条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 蔡芳;选择改进的道路[N];中国计算机报;2004年
3 王昕 熊光楞 王计斌;并行工程过程管理[N];计算机世界;2001年
4 西安协同数码股份有限公司 安贵;中间件再造企业流程[N];计算机世界;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978