网络协议分析试卷讲义

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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变迁:

相关文档
最新文档