论文部分内容阅读
基于工作流的Petri网结构化建模方法，证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性，给出了一个工作流模型完整性的充要条件，进一步得到了基于T-不变量的多项式分解算法，与以往非多项式分解算法相比，克服了遍历的不足，降低了算法复杂度，给出的实例验证了算法的有效性．
工作流模型验证及分解的多项式算法分析
【摘 要】
：
基于工作流的Petri网结构化建模方法，证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性，给出了一个工作流模型完整性的充要条件，进一步得到了基于T-不变量的多项式分解算
【机 构】
：
同济大学计算机科学与工程系,山东科技大学信息科学与工程学院
【出 处】
：
同济大学学报：自然科学版
【发表日期】
：
2009年3期
【基金项目】
：
基金项目：国家“973”重点基础研究发展规划资助项目（2004CB318001-13）,国家自然科学基金资助项目（90412013,90718012,60503002,60534060）,上海市基础研究重点资助项目（05JC14063）
其他文献
为更好地评价轨道几何状态的均匀性，提出了反映单元区段内轨道几何不平顺标准偏差变化趋势的新的评价指标——轨道几何状态均匀性指数（track geometry equality index，TGEI）．以津
分娩指的是胎儿脱离母体形成独立存在个体的过程,分娩全过程包括三产程。以国家所倡导的优生理念,国家医疗提倡阴道分娩,也被广大产妇认同。但是,在产妇分娩过程中会出现恐惧
为有效提升鄂尔多斯盆地镇原油田低渗透油藏采收率,本文在分析了影响镇原油田存在多口低产井及产量递减主控因素的基础上,根据镇原油田各区块开发现状,通过应用井网优化、注