会员登录
会员注册
网流形成原则要受节点、弧的状态和逻辑限制。弧有成功、不成功和取消三种状态，节点也有成功、不成功和取消三种状态。节点逻辑比较复杂，它与弧的状态密切相关，不同逻辑差别较大。例如，对AND逻辑，先根据输入弧的状态确定节点的状态，然后确定成功节点的时间、费用和性能值。
对于弧累计时间、费用和性能值，需根据弧的状态，用它的开始节点的时间、费用和性能的累计值加上弧自身的时间、费用和性能。
4.小结
综上所述，我们对VERT的发展历程、建模要素、逻辑功能以及网络模型进行了较为详细地探讨，这些都是VERT方法引入软件领域的基础理论。当然，由于VERT方法本身是一种定量分析技术，具有很强的理论性，仅仅通过本文是很难将其完全掌握的。