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

Petri网的一种连接性能分析

徐志斌  郑大钟  
【摘要】:在建立复杂系统的Petri网模型时,由于系统的复杂性,难于直接分析系统的性能。有鉴于此,我们探讨了Petri网由多个子网组成时,在分析各子网性能的基础上获得原网性能。本文主要探讨了在各子网之间仅有自环连接的情况下,总网性能与子网性能的关系。这些性能包括活性、有界性和回复性。在无回路情形下得到一般Petri网性能保持的充要条件。在有回路的情形下得到一般Petri网性能保持的一些充分和必要条件。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈兆柱;夏传良;;关于Petri网精细化操作及其应用研究[J];计算机科学;2007年01期
2 张金泉;倪丽娜;蒋昌俊;张军旗;;Petri网极小虹吸的计算方法与性能分析[J];计算机学报;2010年03期
3 岳昊;;Petri网系统中变迁的分级活性判定[J];长江大学学报(自然科学版)理工卷;2010年04期
4 夏传良;陆维明;;Petri网精细化操作及其在系统建模中的应用[J];系统仿真学报;2006年08期
5 夏传良;焦莉;陆维明;;Petri网精细化操作及其在系统设计中的应用[J];软件学报;2006年01期
6 韩莹洁,孙永强,吴哲辉;公平网的活性判断[J];计算机应用与软件;2001年12期
7 徐静,陆维明;可分解非对称选择网的活性和有界性[J];软件学报;2002年11期
8 邱经华,吴哲辉;可达性等价于状态方程可满足性的两个Petri-Nets子类[J];系统仿真学报;2003年S1期
9 焦莉,陆维明;加权非对称选择网活性和有界性分析[J];软件学报;2001年12期
10 吴振寰;于枫;吴哲辉;;Petri网的空标识及相关性质研究[J];计算机科学;2007年05期
11 蒋昌俊,陆维明;基于Petri网语言的并发系统性质研究(英文)[J];软件学报;2001年04期
12 杜玉越,李孝忠;共享路径合成网的活性和公平性分析[J];小型微型计算机系统;2000年09期
13 谢楠;李爱平;尤建新;;支持混流生产的可重组逻辑控制器设计方法[J];计算机集成制造系统;2008年05期
14 丁志军,蒋昌俊;并发程序验证的时序Petri网方法[J];计算机学报;2002年05期
15 焦莉,陆维明;非对称选择网活性的一个多项式时间判定(英文)[J];软件学报;2001年03期
16 蒋昌俊,王怀清,廖少毅;Petri网连接过程中的行为关系[J];自动化学报;2000年01期
17 黄圣国,孙同江,吕兵;运输网络的最短有向路Petri网仿真算法[J];南京航空航天大学学报;2002年02期
18 孙冬煜;教务排课系统的Petri网建模分析[J];微型电脑应用;2002年11期
19 叶许红,颜钢锋;基于Petri网的办公自动化工作流建模[J];计算机工程与应用;2003年06期
20 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
中国重要会议论文全文数据库 前10条
1 徐志斌;郑大钟;;Petri网的一种连接性能分析[A];1995年中国控制会议论文集(下)[C];1995年
2 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
3 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
4 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
5 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
6 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
8 胡少媚;贺晓波;;支持快速反应的过程管理模型和仿真[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
9 胡红革;赵强;黄大贵;;分布式控制系统的混合Petri网建模和分析[A];第二届全国信息获取与处理学术会议论文集[C];2004年
10 张朝辉;刘大有;刘伟江;;工作流建模技术综述[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
中国博士学位论文全文数据库 前10条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
3 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
4 高昆;基于DSP并行处理系统的虚拟仪器设计方法的研究[D];浙江大学;2002年
5 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
6 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
7 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
8 马敏;并行多任务自动测试系统分层化建模及其关键技术研究[D];电子科技大学;2008年
9 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
10 冯晓宁;基于本体的语义Petri网研究及其在系统建模中的应用[D];哈尔滨工程大学;2009年
中国硕士学位论文全文数据库 前10条
1 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
2 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
3 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
4 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
5 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
6 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
7 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
8 沈剑沧;XML查询方法研究[D];华东师范大学;2006年
9 彭钰;基于工作流的公文流转系统的研究与实现[D];武汉理工大学;2006年
10 张建东;基于J2EE的工作流系统的研究与实现[D];华北电力大学(河北);2006年
中国重要报纸全文数据库 前2条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 ;浪潮:活性存储理念引领品牌发展[N];中国计算机报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978