江苏省自然科学基金(BK2004114)
- 作品数：2 被引量：2H指数：1
- 相关作者：曾晓勤吴继锋刘惠义更多>>
- 相关机构：河海大学更多>>
- 发文基金：江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个改进的基本方向约束一致性的判定算法
- 2007年
- 基本方向约束的一致性判定是定性空间推理中的基本问题之一。本文采用将基本方向约束集转化成有向图的方法,给出了一致性判定的相关结论,并据此在Skiadopoulos算法基础上提出了一种改进算法。新算法不但能判定出所有导致不一致的约束子集,而且还提高了执行效率。
- 邹阳勤曾晓勤
- 基于图规约法的TCPN工作流网模型的验证方法被引量：2
- 2006年
- 针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-PetriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并对这些规则进行了证明。在此基础上,运用这些规则对复杂工作流模型的算例进行逐步规约,验证了模型的合理性。
- 刘惠义吴继锋曾晓勤
- 关键词：赋时着色PETRI网工作流网
