基于Petri网的软件过程建模技术的研究
【摘要】：本文在研究Petri网建模方法和描述过程的能力的基础上给出了用Petri网描述软件过程的具体方法并根据传统Petri网的分析方法给出几个常用的算法以供对所建立模型进行验证分析。最后给出一个基于此建模方法的PSEE系统的设计结构图。
|
|
|
|
| 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期 |
|
手机打开
快捷付款方式
订购知网充值卡
订购热线
帮助中心