并行设计中冲突的一致性检测算法

摘要：

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

关键词：并行设计、并行工程、冲突检测、一致性、Petri网

所属期刊栏目：24

分类号：TH166

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：479-482