（1）对于任意n∈N
● 当State(n) =0时，若存在l=(n’,n)发生转移，则State(n)=1;
● 当State(n)=1时，若节点n执行完毕，则State (n)=0;
（2）对于任意l=(n,n’) ∈L
● 当State(n) 从1变为0时，若Trans(1)=1,则连接弧l发生转移；
● 若Trans(1)=0,则连接弧l不发生转移，直至下一次State(n)从1变为0的时候再使用此规则。
3.2 节点类别
工作流模型设计
发布: 2008-10-22 11:07 | 作者: 不详 | 来源: 领测软件测试网采编 | 查看: 9次 | 进入领测软件测试网论坛讨论