论文部分内容阅读
工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能。
基于时间约束Petri网的工作流动态一致性检验
【摘 要】
：
工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
计算机技术与发展
【发表日期】
：
2006年9期
其他文献
<正>在中国文化"走出去"的进程中,中国杂技是一块响当当的牌子,既有赛场又有市场。但是在风光无限之下,中国杂技也面临着亟需解决的窘状:比如"墙里开花墙外香"的尴尬局面;比
蜕皮激素(20-羟基蜕皮酮,20E)在控制昆虫的蜕皮变态和生殖过程中起着十分关键的作用,它可能参与了昆虫卵黄原蛋白Vg(Vitellogenin)合成与转运、生殖细胞分化、卵泡细胞发育、
研究气体罗茨流量计不同参数的计量特征,充分了解其计量性能,更好的选型和应用。选择一台合格且运行稳定的气体罗茨流量计,选取了26个流量点的78组测量数据研究仪表系数、压
《纳米材料》是该校多个理科专业研究生的必修课程，该文对《纳米材料》课程的教学目标、教学内容以及教学方法手段等方面进行初步的改革探索，旨在提高研究生的专业基础知识，培养
务川仡佬族苗族自治县栗园草场属南方三等一级草场.总面积8053.3公顷,草场面积7157.7公顷,耕地面积895.6公顷.现有5个行政村,33个组,806户农牧户,3224个人.常年牛、马存栏300
本文系统阐述了贷款定价的基本理论,对西方商业银行贷款定价主要模式进行了比较分析,结合我国金融市场发展现状和商业银行内部管理体制,提出建立我国商业银行贷款定价体系的
目的观察预见性护理干预应用于ICU重症患者并发症预防中的应用效果情况。方法资料选取60例本院于2018年4月至2019年4月ICU重症患者,按照护理方式的不同分组,可以分为对照组(3
该文基于笔者从事LOD的相关研究,以基于LOD的三维地形数据组织为研究对象,论文首先探讨了地形的分块与调度方法,在此基础上,探讨了纹理与高程数据的组织方法,相信对从事相关研究的同行能有所裨益。