首页> 中文期刊>现代计算机（专业版） >基于着色Petri网的TCP协议的形式化描述及验证

基于着色Petri网的TCP协议的形式化描述及验证

开具论文收录证明 >>

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

页面导航

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

摘要

根据着色Petri网的建模的方法和工具CPN Tool,对TCP协议的连接建立模块建立了着色Petri网模型,得到了可达树,通过可达树的方法时协议模型的正确性进行验证.

著录项

来源
《现代计算机（专业版）》|2009年第6期|49-52|共4页
作者
李菲;
展开▼
作者单位

阜新高等专科学校,阜新,123000;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
TCP协议; 着色Petri网; 形式化描述; 可达树;

相似文献

中文文献
外文文献
专利

1. 基于TCPN的TCP协议形式化描述 [J] . 何中阳 ,李鸥 ,杨白薇 . 计算机工程 . 2011,第018期
2. 基于时间着色Petri网的SIP协议验证与分析 [J] . 刘靖 ,叶新铭 ,马元飞 . 计算机科学 . 2014,第007期
3. 基于着色Petri网的列控系统规范验证 [J] . 黄勍 ,张岩 . 城市轨道交通研究 . 2013,第011期
4. 基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证 [J] . 杨年华 ,虞慧群 . 华东理工大学学报（自然科学版） . 2010,第003期
5. 基于着色Petri网的BPEL建模与验证 [J] . 门鹏 ,段振华 . 西北大学学报（自然科学版） . 2007,第006期
6. 基于随机着色Petri网的TCP数据传输验证和性能分析 [C] . Zhang Shengcai ,张生财 . 2012（第五届)全国网络与信息安全学术会议 . 2012
7. 基于着色Petri网的建模和模型性质分析验证的研究 [A] . 张志强 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号