论文部分内容阅读
时间管理是工作流管理软件的重要部分，针对目前工作流系统对时间管理的需求，通过对传统Petri网扩展时间信息来描述时间模型，提出了一种静态验证方法，对模型进行基本验证和任务间的依赖约束验证；实例分析表明，该方法在减少工作量的同时提高了验证的有效性。
一种基于Petri网的时间工作流模型的研究与验证
【摘 要】
：
时间管理是工作流管理软件的重要部分，针对目前工作流系统对时间管理的需求，通过对传统Petri网扩展时间信息来描述时间模型，提出了一种静态验证方法，对模型进行基本验证和任务间
【机 构】
：
清华大学软件学院
【出 处】
：
计算机工程
【发表日期】
：
2007年7期
【基金项目】
：
国家“863”计划基金资助项目“网络化集成产品开发项目管理方法研究及工具实现”（2004AA413120）
其他文献
文章主要通过建模的研究方式进行分析,阐述清官式灰背、铺瓦及苏州铺瓦做法。本次建模采用grasshopper和rhino参数化的手段进行研究,并分析瓦阵的铺设逻辑和密度等问题。
《获得教养的途径》是赫尔曼·黑塞的作品,它给读者留下的第一印象在于强大的说理能力、严密的逻辑水平,然而与此同时也略显枯燥。教师需要注意向学生传达一个观念,即读者视
科学计算可视化、计算机动画和虚拟现实是现代计算机图形学研究的3个热点，其核心都是三维真实感图形的绘制。该文论述了隧道构造物的三维模型的建立，探讨了OpenGL的建模、光照
分析了XML Schema和DAML文档，发掘二者在组成结构上的相似性，提出了一种联系WSDL文件和DAML本体描述文件的中间数据模型，通过将XML Schema格式的WSDL文件和DAML描述的本体文件映
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield