【摘要】 对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型.分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性.更多还原

【Abstract】 Different from the traditional serial design process, more downstream development phases are considered in concurrent design. This increases the possibility of conflict and makes conflict detection one of the most important issues in concurrent design. The consistency algorithm of conflict detection based on constraint networks is studied. Made use of Petri net, conflict detection model is built and analyzed. An engineering case is provided to prove the feasibility of the algorithm.更多还原