收藏本站
《2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

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

陈挺  张育平  
【摘要】:本文在研究Petri网建模方法和描述过程的能力的基础上给出了用Petri网描述软件过程的具体方法并根据传统Petri网的分析方法给出几个常用的算法以供对所建立模型进行验证分析。最后给出一个基于此建模方法的PSEE系统的设计结构图。
【作者单位】:南京航空航天大学信息科学与技术学院
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前1条
1 潘秋菱,刘宗田,张立群,刘海杜;PETRI网在软件过程建模及过程实施中的应用[J];小型微型计算机系统;2002年05期
中国博士学位论文全文数据库 前1条
1 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前1条
1 邹晓宇;基于工作流的软件过程开发平台的研究[D];国防科学技术大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
3 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
4 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
5 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期
6 喻平;曹继平;宋建社;章涛;;改进的模糊Petri网算法及其在故障诊断中的应用[J];兵工自动化;2011年06期
7 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期
8 方可;马萍;杨明;;仿真可信度评估中的AHP超越权重[J];北京航空航天大学学报;2011年05期
9 左春荣;张志萍;;基于Petri网的第三方物流配送系统的建模研究[J];商业研究;2008年04期
10 谢富平;;基于Petri网的工作流系统不确定性时间信息的计算[J];江西师范大学学报(自然科学版);2012年01期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
3 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
4 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
5 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
6 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
7 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
8 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
9 何晓升;余春艳;陈凤钦;;信号灯适应性控制的DSPN建模[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
10 周双娥;熊国平;;基于Petri网的故障检测模型的设计与分析[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 张冰;小组软件过程建模方法及过程定义重用研究[D];哈尔滨工程大学;2009年
3 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
6 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年
7 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
8 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年
9 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年
10 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 王晨亮;基于工作流的资源环境建模框架的设计与实现[D];山东科技大学;2010年
3 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
4 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
5 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
6 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
7 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
8 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
9 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
10 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
【二级参考文献】
中国期刊全文数据库 前7条
1 杨芙清,邵维忠,宗志东,朱冰;过程驱动的软件工程环境研究[J];电子学报;1998年08期
2 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
3 李建中,陈良猷;扩展的事件-过程链方法(EEPC)及其在BPR中的应用[J];系统工程;2000年01期
4 高军,王海洋;基于对象模型工作流的失败处理与失败恢复[J];软件学报;2001年05期
5 胡锦敏,张申生,余新颖;基于ECA规则和活动分解的工作流模型[J];软件学报;2002年04期
6 林闯,田立勤,魏丫丫;工作流系统模型的性能等价分析[J];软件学报;2002年08期
7 赵文,袁崇义,刘刚,张世琨,王立福;基于P/T系统化简方法的工作流过程模型验证[J];软件学报;2004年10期
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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年
中国重要报纸全文数据库 前4条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 蔡芳;选择改进的道路[N];中国计算机报;2004年
3 王昕 熊光楞 王计斌;并行工程过程管理[N];计算机世界;2001年
4 西安协同数码股份有限公司 安贵;中间件再造企业流程[N];计算机世界;2002年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026