网络协议分析试卷讲义
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
南 京 农 业 大 学 试 题
纸
2015-2016学年2学期 课程类型:必修√、选修 试卷类型:A 、B
课程号 1920247 课程名 网络协议分析 学分 2
装订线 装订线
1.阅读下列关于系统的SDL/GR描述规范,给出相应的SDL/PR描述规范。
图1 SDL/GR表示系统
2.根据下面关于进程的SDL/PR描述规范,给出相应的SDL/GR描述规范。PROCESS P1(1,10);
DCL num Natural;
START;
TASK num :=0;
NEXTSTATE State_A;
STA TE State_A;
INPUT S1;
NEXTSTATE State_B;
SA VE Sa;
ENDSTATE;
STA TE State_B:
INPUT Sa;
DECISION num;
(0:9):
TASK num := num+1;
NEXTSTA TE State_B;
(=10):
OUTPUT S3;
STOP;
ELSE
OUTPUT Sb;
STOP;
ENDDECISION;
ENDSTATE;
四、综合题(3题,每题10分,共30分)
1.分析图所示的Petri网的有界性、活性和可逆性,并说明理由。
2.观察下图,回答以下问题:
(1)下图中哪个变迁可以点火,并说明理由。
(2)画出点火后Petri网的结构和标记分布。
(3)下图的Petri网是否可以一直点火,如不能请说明原因。
3.分析图所示的Petri网的有界性、活性和可逆性,并说明理由。
系主任出卷人
ENDCHANNEL C2;
CHANNEL C3 FROM B2 TO B1 WITH S4;
ENDCHANNEL C3;
CHANNEL C4 FROM B2 TO ENV WITH S5;
ENDCHANNEL C4;
BLOCK B1 REFERENCED;
BLOCK B2 REFERENCED;
ENDSYSTEM sample;
2:根据下面关于进程的SDL/PR描述规范,给出相应的SDL/GR描述规范。
四、综合题
1分析图所示的Petri网的有界性、活性和可逆性,并说明理由。
性质分析:
M[p1,p2,p3,p4,p5]
M0 = [0,0,0,0,1]
t2变迁:
M1 = [1,0,0,1,0]
t3变迁:
M2 = [1,0,1,0,0]
t1变迁:
M3 = [0,1,1,0,0]
t4变迁:
t3变迁:
M7 = [1,0,2,0,0]
t1变迁:
M8 = [0,1,2,0,0]
t4变迁:
M9 = [0,0,1,1,1]
Petri网有界判定:由标记向量可知,p3会超过1,因此Petri网无界。
Petri网活性判定:Petri网中t1,t2,t3,t4都会被引发,因此该Petri网是活的。
Petri网可逆性判定:从M0出发,经过t2,t3,t1,t4····,不会产生同前面相同标识向量,因此该Petri网是不可逆的。
2:(1):t1变迁可以点火,因为只有t1变迁的输入位置有标记。
(2):
(3):不能,当t1点火后,(p1,p2,p3,p4,p5)=(1,1,1,1,0),此时t1再次点火,(p1,p2,p3,p4,p5)=(0,2,2,2,0),然后t2点火,(p1,p2,p3,p4,p5)=(0,2,1,0,0),此时就没有变迁可以点火了。
3:
性质分析:
M[p1,p2,p3,p4,p5]
M0 = [1,0,0,0,1]
t1变迁:
M1 = [0,1,1,0,1]
t3变迁:
M2 = [0,1,0,1,0]
t2变迁:
M3 =[1,0,0,1,0]
t4变迁: