如果您无法下载资料,请参考说明:
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的应用要点