统进入下一个YB至YA对的循环(t4一t,时刻)。最后，经过YC至YB对的循环，系统又回到 YA至YC对的循环。如此下去，构成系统的连续循环。 根据上表，可得到状态转移的余件，并由此得出系统准备工作与运行时的Petri网。 系统的准备工作是对控制机构中的储液仓、管道、观察仓进行消毒，加液；对动静脉压 差、液体温度、液体内氧气及二氧化碳气含量等参数进行调节的过程。Petri网如（图1）所 示n 0初始状态 1抽真空 2环氧乙烷消毒 3加人高压氧 4抽真空 5储液仓加液体 6 参数调节状态 若转移关系满足逻辑关系，t,4=1时转移至下一状态，否则运行于当前状态。 首先，定义： 1 t>tu 1 n>N T (1>t)= C(n>N)= 0t<ta:i=(1,2..) 10 n<N (1h:>h H:(h,>ha)= L0 h:<ha (i=A、B) ta、N、h:为系统给定值，ta,为时间；N为次数；hu为液面高度。 因此，图1转移动条件如下： t,1=启动信号t,3=T(t>ta1):f,3=T(t>t:2):t,4=T(t>t4) t,s=C(n>N);t,B=H4(h4>hu);Ha(hB>ha);t,7=谁备工作结束。 12 11 9 14 10 16 ⑤ fi'tn 17 t:.fp 图1系统进入循环快态 图2循环状况 Fig.1 The system enters the status Fig.2 The system is in circulation of circulation 图1中，快态6是指对系统进行静态参数的微机控制，这里的参数是指在前节中提到的灌 流液的温度、动静脉压差及氧气、二氧化碳气等参数的控制。 当工作准备结束后，t,7=1,此时系统进入循环状态。 474统 进人下 一个 Y B 至 Y A 对 的循环 ( t 、 一 t 7 时刻 ) 。 最 后 , 经 过 Y C 至 Y B 对 的循环 , 系统 又回 到 Y A 至 Y C 对 的循环 。 如 此下去 , 构成 系统 的连 续 循环 。 根据 上 表 , 可得 到状 态转移 的条 件 , 并由此得 出 系统准 备工 作 与运 行时 的 P e tr i 网 。 系统 的准备 工 作是 对控制机 构 中的储液仓 、 管道 、 观察仓 进行 消毒 , 加 液 ; 对动 静脉 压 差 、 液体 温度 、 液体内氧气及二氧 化碳 气含 量等参 数进 行调 节 的过程 。 eP tr i 网如 ( 图1) 所 不 。 初始 状 态 抽 真空 寸由真空 储液仓 加 液体 环氧 乙烷 消毒 参 数调节 状 态 3 加 入高压氧 若转移 关 系满 足逻辑关 系 , t r , 二 1时转移至下 一 状态 , 否则运 行于 当前状 态 。 首 先 , 定 义 : _ 阵 T ( ` > t 、 、 ) = } 叨 > t 、 ` t < t J ` 二 ( 1 , 2 。 。 。 C ` ” > 万 , = { 儿 > N 趁 < N 厂1 H ` ( h ` > h ` ) = } 从O > 人 、 < h ` ( f = A 、 B ) t d ; 、 N 、 h ` 为系统给定值 , t ` , 为 时间 ; 因此 , 图 1转移动条 件如下 : t r , = 启动信号 t , : = T ( t > t J I ) ; t , 5 = C ( n > N ) ; t r 6 = H , ( h , > 人 ` ) ; N 为次数 ; h ` 为液 面 高度 。 t r : = T ( t > t ` 。 ) ; t , ` = T ( t > t ` ) 万 。 ( h B > 入 J ) ; t r 7 二 准备工作 结束 。 图 1 系统 进入循环 状态 图 2 循环 状况 F 19 . 1 T h e s y s t e m e n t e r s t h e s t a t u s F i g . 2 T h e s y s t e m 1 5 i n e i r e u l a t i o n o f e i r e u l a t i o n 图 1中 , 状态 6是 指对 系统进 行静 态参 数的微 机控制 , 这里 的参数是 指在前节 中提 到 的灌 流 液的温 度 、 动静脉 压 差及氧 气 、 二氧 化碳 气等参数的控 制 。 当工作淮 备结 束后 , t r 7 = 1 , 此 时系统 进人 循环状态 。 4 7 4