AB协议的Petri网描述与J2ME可视化实现

The Description of Alternating Bit Protocal by Petri Net and Visual Realization Based on J2ME

下载PDF

导出

摘要在J2ME(Java 2 Mobile Edition)开发环境-J2ME Wireless Toolkit中,研究了Robert Esser[1]的Petri网开发软件包,在手机(或其他手持移动设备)上实现Petri网的可视化设计的原理,实现了著名的AB(交替比特)通信协议[6],并对该软件包的若干功能进行了改进.

作者臧广良郑进远李祥

机构地区贵州大学计算机软件与理论研究所

出处《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期66-68,共3页 Journal of System Simulation

基金贵州省科学基金课题(黔科合(2004)GGY002)

关键词 J2ME J2ME Wireless TOOLKIT PETRI网 AB协议超时重传

分类号 TP302.7 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献2

1[1]http://www.cs.adelaide.edu.au/～esser/ [EB/OL].
2[2]http://java.sun.com/products/j2mewtoolkit/zh_download-2_1.html [EB/OL].

1罗军舟,顾冠群.协议描述和验证的基本方法[J].东南大学学报（自然科学版）,1996,26(5):1-4. 被引量：3
2张永谦,史杏荣.使用OMT技术开发通信系统[J].通信技术,2002,35(4X):14-16. 被引量：1
3许强,温涛.基于Z智能代理框架的AB协议规范[J].石油化工高等学校学报,1998,11(4):74-78.
4张广泉.计算机网络通信协议的一种形式化描述技术[J].重庆师范学院学报（自然科学版）,1999,16(1):27-30.
5张思博,董春,李宗帅.基于WinDriver的PCI数据采集卡的设备驱动程序开发[J].机械与电子,2009,27(5):59-62.
6焦点[J].程序员,2008(4):16-16.
7Richard V.Dragan,徐鹏.开发软件包[J].个人电脑,1998,4(5):151-175.
8李莉,赵小朴.AX88180在嵌入式系统中的应用[J].国外电子元器件,2007(4):50-52. 被引量：2
9顾翔,赵保华,屈玉贵.一种基于CSP的协议模型技术[J].小型微型计算机系统,2004,25(5):807-810.
10刘芳.基于通信顺序进程的计算机网络通信协议形式化描述[J].信息系统工程,2016,29(2):124-124. 被引量：1

系统仿真学报

2005年第z1期

浏览历史

内容加载中请稍等...

AB协议的Petri网描述与J2ME可视化实现

参考文献2

相关作者

相关机构

相关主题

浏览历史