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…     

田青中国"健康管理"第一人

五月的一个周末，记者驱车来到北京嘉骏科技发展有限公司采访。藏龙卧虎的大北京城，保健行业人多如恒河流沙。记者以固有的观念去想象田青时，他一定是西装革履、不苟言笑的职业经理人派头。然而，大出记者预料，蛮具亲和力的田青以一身运动休闲装在他的办公室接待了记者。     

双向HFC网上行传输的技术问题及对策

文章对有线电视双向HFC网上行传输的若干技术问题作了较详细的研究;阐述了双向HFC网传输通道中的特有问题——“汇集干扰”、“汇集均衡”等概念及形成原因,并通过实例分析;提出了解决双向HFC网中信号存在“汇集干扰”、“汇集均衡”等问题的可行性方案及加强有线电视上行通道安全性的措施。     

浙江达峰汽车技术有限公司

公司生产的全金属三元催化净化器是在成熟技术与成熟市场上全面升级换代的产品，是惟一能做到在发动机达标前提下的任何极限状态下达到有害气体零排放的新一代净化器。     

曹松梅夫妇——优势互补恰到好处

解放碑民生大厦10楼，重庆市松梅商贸有限公司。记者穿过走廊，向曹松梅的办公室走去。门是开着的，远远的便能看到墙壁上几幅笔法苍劲的字帖，逢中一幅国画：岁寒三友，暗合曹松梅之名。     

锚喷 锚网喷 锚网索喷联合支护技术的应用

通过山西焦煤集团西山股份公司西铭矿应用锚喷、锚网喷、锚网索喷联合支护技术的实践,分析了有关参数及特点,指出应用锚喷、锚网喷、锚网索喷联合支护大断面1018大巷,可起到,良好的支护效果,使施工速度加快、成本降低,为今后特殊地点及大断面巷道施工提供了一种全新的支护方式。     

ALOHA协议在公安无线局域报警网中的应用研究

本文从分析无线局域报警网的特点入手，就网中报警信号特点、抗干扰技术及实时传输技术作了简要分析，重点论述了在无线局域报警网中采用纯ALOHA协议的可行性，并进一步分析了采用其他随机访问协议的可能性。     

依靠科技打响产业品牌

甘肃新兴花卉集团有限公司，成立于2001年9月，注册资金4189．5万元，总资产1．38亿元。下设千亩花卉高科技示范园、种球繁育基地、农林高科技发展示范基地，是一家集花卉科研、种球、种苗繁育、引进与推广、生产与销售、旅游与观光为一体的现代化花卉专业企业。集团公司下属建筑公司、淀粉公司、农林发展公司，是一家多元化经营的省重点龙头企业。连续5年被中国农业银行甘肃省分行评为资金信用“AA级企业”。现有职工1200人，其中高级管理人员23人，高级技术人员8人，有各类职称人员368名。     

模糊集合论在矿山控制网布设和图纸质量评定中的应用

应用模糊数学方法研究和处理矿山测量中存在的具有“模糊性”的问题。例如控制网布设方案及矿山测量图纸质量的综合评判。它能更准确地描述用精确数学模型难以描述的问题。