南 京 农 业 大 学 试 题
纸
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变迁：