根据前面所述规定，首先由YA、YC对构成循环，Petri网如图2。 图中的状态如下： 7 E(YA、YC、1) 8检测液面并保持上一状态 E(YB、YC、1) 10E(YB、YC、2) 11E(YB、YA、1) 12E(YC、YA、1) 13E(YC、YA,2) 14E(YC、YB、1) 15E(YA、YB、1) 16E(YA、YB、2)17报警 上面，E(X、Y、)表示系统中液体流动时的状态，其中X为流出液体的储液仓，Y为流 入液体的储液仓，i=1时为稳定循环状态，i=2时为准备切换状态。在图中考虑的是系统正 常运行时的状态网，在运行时系统出现故障或在正常循环结束时，系统可从任何一个状态回 到起始状态0。 图2中的转移条件如下： t,8=T(t>tu)tr=Ro1 t10=T(t>t4s)t,11=RA2 1,12=Rs2 t,13=T(t>ta5)t,14=Rw3t,15=Rb3t,ia=T(T>t45)t,17=Rw1 t,18=返回指令t,。=切换准备，谁备完成时t,p=1 根据以上分析结果，可用微机对上面所述的循环系统进行实时控制。准备阶段是根据所 给的数值，对系统做消辞、调节等工作。当准备工作结束后，系统进入实时控制阶段。液面 检测的光电开关信号由计算机接口MS-4202光隔离开关量输入输出板输入到计算机，经过条 件判定后（诸如时间、光电信号等），发出打开相应电磁阀的指令，由MS-4204板经继电器 控制打开或关上电磁阀，此时系统进行顺序控制。每次电磁阀关闭后，系统进入上面所述的 状态。 3 结 论 用Petri网对系统的各个状态及转移关系进行了详细的描述，并给出了Petri网分析肢体 外循环系统的步骤与方法，在此基础上，设计了系统的程序框图。主程序除了完成参数设置 与结果的显示、打印等工作外，主要进行系统的循环控制。系统开始正常循环后，利用分时 调用各个调节子程序对各个参数进行调节，使之满足系统的给定要求。该系统程序采用C语 言编写，并经实际运行达到了对离散事件系统进行实时控制的效果。 参考文献 1 Brams G W.Reseaux de Petri,Theorie et Pratique Masson,Paris:1983 2 Peterson J L.Petri Net Theory and The Modelling of Systems,Prentice- Hall Inc:1981 3 Ph,CHRETIIENE Les reseaux de Petri temporises,These d'Etat,Univer- site Pierre et Marie Curie Paris,1983 4王文学。控制与决策，1990，(1)：12 475根据前面 所述规定 , 首先 由Y A 、 Y C 对构成循 环 , eP tr i 网如 图2 。 图 中的状态如下 : 7 E ( Y A 、 Y C 、 1) 8 检侧液 面并保持上一状态 g E ( Y B 、 Y C 、 1) 1 0 E ( Y B 、 Y C 、 2 ) 1 1 E ( Y B 、 Y A 、 1 ) 12 E ( Y C 、 Y A 、 1 ) 1 3 E ( Y C 、 Y A 、 2 ) 1 4 E ( Y C 、 Y B 、 1 ) 1 5 E ( Y A 、 Y B 、 1 ) 1 6 E ( Y A 、 Y B 、 2 ) 1 了 报警 上面 , E ( X 、 Y 、 i) 表示系统中液体流动 时的状态 , 其中X 为 流出液体的储液仓 , Y 为流 人液体的储液仓 , ` 二 1时为稳定 循 环状态 , i 二 2时为准备切 换状态 。 在 图 中考虑的是系 统正 常运行时的状态 网 , 在运行时 系统 出现故障或在正常 循环 结束 时 , 系统可从任 何一个状态回 到起始状态 0 。 图 2 中的转移条 件如 下 : r a 二 T ( t > t ` ; ) t r 。 = R ` 1 t r l o = T ( t > 才` 5 ) t , 1 1 = R * 2 t r i Z = R ` : t , 一 3 = t , 1 ; = R * : t , : 。 = R 。 3 t r , 。 = T ( T > t ` 。 ) t r 1 7 = R * , t , 1 5 = T ( t > 才` 5 ) 返回 指令 t r , 二 切换准备 , 准备完成 时 t r , = l 根据 以上分析结 果 , 可用 微机对上面 所述 的循 环 系统进行实时控 制 。 准备阶段是根据所 给的数值 , 对系统 做消 毒 、 调 节等工 作 。 当准备 工 作结束后 , 系统进人实时控制阶段 。 液面 检侧 的光 电开关 信号 由计 算机 接 口 M S 一 4 2 0 2光 隔离开关量输入输 出板 输入到 计算机 , 经过条 件判定后 ( 诸如 时间 、 光 电信号 等 ) , 发 出打开相应 电磁 阀的指令 , 由M S 一 4 2 0 4板经继电器 控制打开 或关 上电磁阀 , 此 时系统进行顺序控制 。 每次电磁阀关 闭后 , 系统进人 上面所述 的 状态 。 3 结 论 用P e tr i网对 系统 的各 个状态及 转移关系进行 了详 细 的描述 , 并给 出了 P e tr i网分析 肢 体 外循 · 环系统的 步骤与 方法 , 在此基础上 , 设计了系统 的程序框 图 。 主程序除了完成参数设 置 与结 果 的显示 、 打印等工作 外 , 主要进行 系统的循环控 制 。 系统 开始正常 循 环后 , 利用分时 调用各个调 节子程序对各个参数进行调节 , 使之满足 系统 的给定要求 。 该系统程序采 用 C 语 言编写 , 并经实 际运行 达到 了对离散 事件系统进 行实时控制的效果 。 参 考 文 献 B r a 皿 5 G W 。 R e s e a u x d e P e t r i 。 T h e o r i e e t P r a t i q u e M a s s o n , P a r i s : 1 9 8 3 P e t e r s o n J L . P e t r i N e t T h e o r y a n d T h e M o d e l li n g o f S y s t e m s , P r e n t i e e - H a ll I n e : 1 9 8 1 P h . C H R E T l l E N E L e s r e s e a u x d e P e t r i t e m p o r i s e s , T h e s e d l E t a t . U n i v e r - s i t e P i e r r e e t M a r i e C u r i e P a r i s , 1 9 8 3 王文 学 。 控制 与决 策 , 1 9 9 0 , ( 1 ) : 12 4 7 5