基于CPEBSDL通信协议的Petri网建模方法

	基于CPEBSDL通信协议的Petri网建模方法
	范昊 1; 吴哲辉 2
	2008
发表期刊	计算机工程
ISSN	1000-3428
卷号	34.0 期号:006 页码:16
摘要	结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法，提出一种基于通信协议建立Petri网模型的方法-PMA=CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为，自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例，给出LAPD协议完整的建模过程及协议验证和测试的方法。
关键词	协议验证协议测试 LAPD协议 Petri网 Petri网进程
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/34594
专题	中国科学院计算技术研究所期刊论文_中文
作者单位	1.中国科学院计算技术研究所 2.山东科技大学信息科学与工程学院
第一作者单位	中国科学院计算技术研究所
推荐引用方式 GB/T 7714	范昊,吴哲辉. 基于CPEBSDL通信协议的Petri网建模方法[J]. 计算机工程,2008,34.0(006):16.
APA	范昊,&吴哲辉.(2008).基于CPEBSDL通信协议的Petri网建模方法.计算机工程,34.0(006),16.
MLA	范昊,et al."基于CPEBSDL通信协议的Petri网建模方法".计算机工程 34.0.006(2008):16.