并行设计中冲突的一致性检测算法
来源期刊:工程科学学报2002年第4期
论文作者:陈梦 王新平 宿英新
文章页码:479 - 482
关键词:并行设计;并行工程;冲突检测;一致性;Petri网;
摘 要:对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型.分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性.
陈梦,王新平,宿英新
摘 要:对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型.分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性.
关键词:并行设计;并行工程;冲突检测;一致性;Petri网;