petri网01-05年考题.docVIP

01年考题 什么是P/T网系统中的外延？变迁t在标识M下的发生条件是什么？ 什么是P/T网系统中的Ｔ_不变量，有何可能的解释？ 什么是C/E系统，它和EN_系统的关系。 给出下面的谓词/变迁系统的状态、标识M0,M1,M2…… 以及可达标识树，其中M(S1)=1+2，M(S2)=M(S3)=0。 设,证明：。 用向量表示法，并写出和的网表示。 什么是基本集合？什么是基本事实？用自然语言描述。 证明： 证明下面P/T系统为活系统(书中系统，P53 3-1(a))。 02年考题 基本概念 谓词/变迁系统有哪几个要素？谓词/变迁系统发生权的条件是什么？ 什么是C/E系统？与EN_系统的关系如何？ 设是C/E系统的事件集。证明： 用自然语言表示，什么是基本集合？什么是基本事实？ 比较有色网与谓词/变迁网的特点。 二、证明：设是C/E系统的一个情态，，证明：b在c下成真与否是唯一的。 三、给出下面的谓词/变迁系统的状态、标识M0,M1,M2…… 以及可达标识树，其中M(S1)=1+2，M(S2)=M(S3)=0。 四、用向量表示法，证明由推出；并且画出及对应事实的网表示。 五、建立两个工人轮流(u,v)操作三台机器(a,b,c)的谓词/变迁网模型。要求至少有备用、操作、等待和休息四个环节。工人轮流操作的顺序有以下两种(任选一种)： １．先１个工人操作３台机器(一次一台)，然后另一个工人操作同样3台机器(一次一台)，完成一轮操作 ２．每个工人都要操作3台机器(一次一台)，完成一轮操作。 05年考题 一、 １．什么是ＥＮ系统中的独立事件集？事件集Ｍ一步并发的条件是什么？ ２．线和切的定义？ ３．设是C/E系统的事件集。证明：。 ４．S_不变量和T_不变量？为什么不能保证T_不变量中变迁一定能够发生？ ５．比较有色网系统的谓词/变迁系统的特点？ 二、画出可达图和可达树，求其有界性和活性？ 三、通网模型，用Petri网理论分析其错误原因 四、设是C/E系统的一个情态，，证明：b在c下成真与否是唯一的。 五、设有两个循环进程共享两台设备，每个进程有两个顺序的操作。第一个操作需要一台设备，完成后不释放设备；第二个操作需要两台设备，完成后同时释放两台设备，设计该系统谓词/变迁网系统模型，要求“无死锁，无饥饿”。 t4 t1 t2 t3 S2 S3 S1 A B Wb Sa Sb Wa A B S1 S2 S3 x x x x,x x,y y A B S1 S2 S3 x x x x,x x,y y