论文部分内容阅读
本文指出了工作流模型分析验证的重要性，介绍了该领域的研究现状．分析了引起结构冲突的本质原因——错误的路由引起死锁和缺乏同步，最后提出了应用AND_OR图深度优先搜索验证方法来对工作流模型进行验证，并举例说明，为工作流模型的分析检验提出了一种新方法。
基于AND_OR图深度优先搜索的工作流模型验证
【摘 要】
：
本文指出了工作流模型分析验证的重要性，介绍了该领域的研究现状．分析了引起结构冲突的本质原因——错误的路由引起死锁和缺乏同步，最后提出了应用AND_OR图深度优先搜索验证方法
【机 构】
：
广东工业大学机电工程学院CIMS重点实验室
【出 处】
：
机电工程技术
【发表日期】
：
2008年6期
【基金项目】
：
国家“863”计划项目（编号：2006AA04Z132）,国家科技支撑计划（编号：2006BAF01A41）
其他文献
针对柿竹园多金属矿,在形成200万方大空区,部分矿柱跨塌,最大顶板连续暴露面积达8000 2,且不能采用充填法的情况下,如何立足矿山实际情况,合理规划矿产资源的整体开发,确保矿
用巯基乙酸作稳定剂在水相中合成了CdSe纳米颗粒.聚4-乙烯基吡啶季铵盐(PVPNI)通过静电作用与CdSe纳米颗粒复合形成了纳米复合材料.该复合材料通过红外光谱数据(IR)、电感耦
为了研究单向C／C复合材料中碳纤维和热解碳的微结构特征，采用x射线衍射仪对T300碳纤维／热解碳单向复合材料进行了表征，并通过XRD谱峰的分峰处理和复合材料衍射峰与碳纤维衍射峰的
通过对旧水泥混凝土路面引起加铺沥青混凝土面层反射裂缝的机理分析,提出了旧水泥混凝土路面改造的几种处理方法,并列举了工程实例。以上方法可为旧水泥混凝土路面加铺沥青混
目的探讨在移植周期使用小刮匙轻轻搔刮子宫内膜是否有助于提高既往有移植失败史患者的妊娠率。方法回顾性分析既往移植失败,并再次行体外受精或卵胞浆内单精子显微注射(IVF-