首页> 中文期刊> 《山东理工大学学报：自然科学版》 >网络协议工程中的Petri网技术

网络协议工程中的Petri网技术

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

按照OSI/RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop and Wait通信协议进行描述分析.

著录项

来源
《山东理工大学学报：自然科学版》 |2005年第1期|84-87|共4页
作者
冷淑霞; 巨同升;
展开▼
作者单位

山东理工大学计算机教学部;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;通信规程、通信协议;
关键词
有色Petri网; 网络协议; 协议工程; 数据链路层; 协议验证; 描述; 通信协议; OSI/RM; 对数; 角度;

相似文献

中文文献
外文文献
专利

1. 从Petri网到形式描述技术和协议工程 [J] . 罗军舟 ,沈俊 ,顾冠群 . 软件学报 . 2000,第005期
2. "基于Petri网的协议工程及并发系统建模"学术研讨会征文通知 [J] . . 计算机科学与探索 . 2008,第001期
3. 计算机网络各层核心协议工作原理与实现——评《计算机网络》 [J] . 陈立 . 当代教育科学 . 2015,第017期
4. 在协议工程中应用统一建模语言UML的方法 [J] . 杨慧波 . 电脑知识与技术 . 2007,第001期
5. CCS及其在协议工程中的应用 [J] . 龚正虎 . 计算机工程与科学 . 1994,第003期
6. 网络应用协议工程开发案例的应用研讨 [C] . SHEN Hui ,沈辉 . 第十九届网络新技术与应用年会 . 2015
7. 网络协议工程实现方法研究与调度算法改进 [A] . 余爱清 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号