第3章 协议模型技术.ppt
上传人:qw****27 上传时间:2024-09-12 格式:PPT 页数:89 大小:3MB 金币:15 举报 版权申诉
预览加载中,请您耐心等待几秒...

第3章 协议模型技术.ppt

第3章协议模型技术.ppt

预览

免费试读已结束,剩余 79 页请下载文档后查看

15 金币

下载此文档

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

网络协议工程第3章协议模型技术3.1引言3.1.1协议性质3.1.1协议性质3.1.1协议性质3.1.1协议性质3.1.1协议性质3.1.1协议性质3.1.1协议性质3.1.1协议性质3.1.2协议元素性质3.1.2协议元素性质3.1.2协议元素性质3.1.2协议元素性质3.1.2协议元素性质3.1.2协议元素性质3.1.3通道类别3.1.3通道类别3.1.3通道类别3.1.4协议模型的选取3.2有限状态机(FSM)3.2.1FSM定义3.2.1FSM定义3.2.1FSM定义3.2.2通道FSM3.2.2通道FSM3.2.2通道FSM3.2.2通道FSM3.2.2通道FSM3.2.3协议实体FSM3.2.3协议实体FSM3.2.3协议实体FSM3.2.3协议实体FSM3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.4FSM简化3.2.5FSM的合成3.2.5FSM的合成3.2.5FSM的合成3.2.5FSM的扩充3.2.5FSM的扩充3.2.5FSM的扩充3.3Petri网3.3.1Petri网的概念3.3.1Petri网的概念3.3.1Petri网的概念3.3.1Petri网的概念3.3.1Petri网的概念3.3.1Petri网的概念3.3.2Petri网特性3.3.2Petri网特性3.3.2Petri网特性3.3.2Petri网特性3.3.2Petri网特性3.3.3Petri网扩充3.3.3Petri网扩充3.3.3Petri网扩充3.3.3Petri网扩充3.3.3Petri网扩充3.3.4协议实体Petri网3.3.4协议实体Petri网3.3.4协议实体Petri网3.3.4协议实体Petri网3.3.5通道Petri网3.3.5通道Petri网3.3.6Petri网的替换与合成3.3.6Petri网的替换与合成3.3.6Petri网的替换与合成3.3.7协议并发性表示3.3.7协议并发性表示Ch3End!3.4时序逻辑TL3.4.1名词术语3.4.2时序逻辑系统3.4.3AB协议和TL描述3.4.4协议的TL描述方法3.5通讯进度演算(CCS)3.5.1CCS算子3.5.2变换规则3.5.3CCS的发展3.5.4AB协议的CCS描述(举例)3.5.5CCS的应用要点