论文研究 基于规划图的过程活动流规划算法.pdf

针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法。实例表明，这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核，并且使实例的配置合理性审核得到简化。