收藏本站
《首届信息获取与处理学术会议论文集》2003年
收藏 | 手机打开
二维码
手机客户端打开本文

GPIB高速数据传输协议的Petri网模型及分析

胡瑜  陈光(礻禹)  
【摘要】:建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性。

【相似文献】
中国期刊全文数据库 前10条
1 李正明,黄如;半双工协议的Petri网分析及FPGA实现[J];江苏理工大学学报(自然科学版);2001年05期
2 胡晓辉;姜浩;曾雪娜;;无线传感器网络模型的形式化建模与分析方法[J];计算机应用;2010年07期
3 管惠维,李志光;MPP系统模型化的广义随机Petri网技术[J];小型微型计算机系统;1997年03期
4 孟伟,张国印,韩学东;一种新型的系统建模方法[J];哈尔滨工程大学学报;2000年05期
5 刘晓霞;基于Petri网知识库维护方法的实现[J];小型微型计算机系统;2002年07期
6 高峰,孙培良;PLC控制系统的Petri网模型研究[J];武汉工业学院学报;2003年04期
7 王雪,史铁林,阎明印,杨叔子;基于Petri网的知识库检验方法[J];华中科技大学学报(自然科学版);1993年01期
8 王春江,符意德,黄志同;基于混合状态Petri网的变结构决策组织设计[J];南京理工大学学报;1996年05期
9 赵志刚;基于Petri网的现场总线系统故障容错分析[J];仪器仪表学报;2004年02期
10 茹锋,薛钧义;ControlNet协议的通信机理分析[J];小型微型计算机系统;2003年06期
中国重要会议论文全文数据库 前10条
1 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
2 邢科义;李俊民;胡保生;;基于Petri网的柔性制造系统的有效活性控制器[A];1996年中国控制会议论文集[C];1996年
3 黄英;谭益智;;基于PC的离散事件控制系统[A];1994中国控制与决策学术年会论文集[C];1994年
4 王凯;吴维敏;陆飞华;;DES的Petri网控制器设计LIP方法的扩展[A];2005中国控制与决策学术年会论文集(上)[C];2005年
5 王清元;孟正大;李俊;;基于CCM的可重构Petri网逻辑控制器开发平台的设计[A];全国自动化新技术学术交流会会议论文集(一)[C];2005年
6 田军营;;神经网络的形式语义研究[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
7 蒋宏潮;王大亮;班晓娟;张德政;;基于Petri网的业务流程评估[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 贺飞鸣;严隽薇;;面向对象的Petri网用于FMS动态调度的研究[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(下册)[C];1995年
9 朱立禹;舒炎泰;;面向对象的CFPN在故障诊断中的应用[A];1998中国控制与决策学术年会论文集[C];1998年
10 李俊;戴先中;孟正大;;基于改进的网重写系统的Petri网逻辑控制器的自重构方法[A];2005全国自动化新技术学术交流会论文集(三)[C];2005年
中国重要报纸全文数据库 前2条
1 ;搭建理想的网络传输平台[N];网络世界;2006年
2 ;合勤科技地铁大厦网络解决方案[N];中国计算机报;2007年
中国博士学位论文全文数据库 前10条
1 李厦;基于Petri网的故障诊断技术研究及其在液压系统中的应用[D];同济大学;2006年
2 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年
3 赵咪;基于一般Petri网的自动制造系统活性控制器设计[D];西安电子科技大学;2009年
4 刘培顺;判决PN机理论及其在入侵检测中的应用[D];西南交通大学;2005年
5 宋洪军;基于中间件和虚拟现实的异构机器人作业系统研究[D];山东大学;2008年
6 彭磊;面向服务的WSN体系结构、R&D方法与应用研究[D];电子科技大学;2009年
7 陶泽;基于Petri网和混合遗传算法的JSP优化调度[D];东北大学;2006年
8 洪流;基于MAS的协调知识与协调策略研究[D];华中科技大学;2007年
9 韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年
10 唐振民;智能移动机器人及群体关键技术研究[D];南京理工大学;2002年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 陈松;无线传感器网络的Petri建模和性能分析[D];复旦大学;2008年
4 丁伟;基于Petri网的柔性制造系统设备故障建模及死锁预防[D];西安电子科技大学;2005年
5 刘心;水下机器人系统的P/T_系统模型及分析技术[D];哈尔滨工程大学;2005年
6 宋娜;基于Petri网的化工间歇过程特征状态监督器[D];北京化工大学;2008年
7 吕军玲;基于Agent的人机合作的生产物流系统研究[D];西安理工大学;2008年
8 秦娜;基于Petri网和PSO算法的JSP优化调度方案的研究[D];长沙理工大学;2009年
9 蔡平;分布式多机器人仿真系统的研究与实现[D];南京理工大学;2004年
10 苏瑾;智能建筑火灾报警控制系统的设计与研究[D];中南大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026