时序逻辑推理相关论文
针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过......
分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑......
