Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。     

优化铅酸蓄电池化成工艺参数的研究

本文针对生极板为同一型号的电池，采用二次加酸化成，改变电流密度和时间．控制电解液的温度等方法．得到优化的工艺参数。采用该组工艺参数，不仅缩短铅酸蓄电池化成周期．提高生产效率，而且节约能源。     

运用现代农业理念提升农业特色产业实践

柿饼是黎城县特色土产之一。本文就新时期里传统特产的进一步发展从三个方面进行了阐述。从质量到经营方式各方面作了介绍。指出现代农业理念对提升农业特色产业的重要性。     

浅析我国信息产业的发展对策

概述了我国信息产业发展的基本现状，分析了我国信息产业在发展中存在的问题，从加强宏观调控与管理，健全技术创新体系，加强信息队伍人才建设等方面提出了发展我国信息产业应采取的战略对策。     

高等级公路水泥稳定土施工工艺--博茨瓦纳帕塞公路水泥稳定层平地机施工技术研究

以博茨瓦纳帕塞公路工程施工为例，详细介绍了高等级公路水泥稳定土的施工准备、工艺流程与技术要求，指出了施工中应注意的问题。     

化工职业技术教育的现状及其发展对策研究

该文分析了我国化工职业技术教育的现状及特点，从多个角度并以详细的数据材料阐述了现阶段制约我国化工职业技术教育发展的因素，并结合化工职业技术教育的发展趋势讨论对策，总结出化工职业技术教育在今后的发展的道路上应注意的几点事项。     

两指标随机过程的停止

~~(2 ) z∈ R+ 2 ,{z∈ D′{ D相似文献   

并行处理可视化监测环境

针对并行程序的工程化开发中缺乏有效的并行程序执行过程的可视化、性能监测与分析工具 ,该文设计和实现了一个面向并行程序的集成开发环境的可视化与监测分析工具。该环境集成并行过程的可视化、并行性能监测和评价于一体 ,根据它提供的直观可视信息 ,程序员能形象化地看到并行程序的运行状况 ,了解并行程序的执行性能 ,并通过性能监测分析比较并行算法 ,找出并行算法的性能瓶颈。该工具已应用于胜利油田的油藏数值并行模拟中 ,有效地支持了油藏数值模拟并行程序设计的开发 ,并获得了较好的效果     

广西信息产业中长期科技发展战略思考

在分析广西信息产业科技发展优势、不足和发展机遇的基础上,借鉴国内外的成功经验,提出广西信息产业中长期科技发展战略和政策措施。