基于TCPN的产品协同设计过程时序逻辑推理研究

摘要：

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.

关键词：协同设计过程、时序逻辑推理、时间约束Petri网、触发规则、推理机制

所属期刊栏目：22

分类号：TP391(计算技术、计算机技术)

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

页数：共7页

页码：1824-1830