期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Petri网分析工具对一个通讯规程的验证

下载PDF

导出

摘要本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。

作者陈顺益刘晓辉

机构地区湖南省计算技术研究所

出处《计算技术与自动化》 1992年第1期20-25,共6页 Computing Technology and Automation

基金非教育系统出国留学人员科技活动经费资助项目

关键词 PETRI网分析工具通讯规程

分类号 TP15 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

1杨则正.SNA画面在TCP/IP环境中传输问题的解决[J].管理观察,1996,0(1):41-41.
2顾长富.MIL—STD—1553B通讯规程的Petrinet说明与验证[J].微电子学与计算机,1990,7(12):19-23.
3杨则正.管理网络通讯规程堆栈用缓冲存储器的专用系统[J].管理观察,1996,0(9):45-45.
4陈盛云,陈昆梅,许大丹.对异构设备的系统集成[J].基础自动化,2000,7(4):45-47.
5刘建福.资源共享的形式化技术[J].兰州大学学报（自然科学版）,1992,28(S1):29-33.
6杨则正.局部网络和区域网络通讯规程分析器[J].管理观察,1995,0(9):48-49.
7李德华,雷霆,贺秉祥.用C语言实现OMRON可编程控制器与计算机的通讯[J].电子技术应用,1996,22(4):35-37. 被引量：3
8宋晓秋.软件安全性分析的Petri网方法(续一)[J].质量与可靠性,1998(2):38-39.
9赵亚男.用Visual Basic实现USB接口设备数据传送[J].网络与信息,2006,20(7):60-60.
10徐海,方奕,杨传厚.多通道X.25数据终端通讯控制器的研制[J].电子计算机外部设备,1996,20(2):8-10.

计算技术与自动化

1992年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部