工作流管理技术满足了集中管理业务过程的需要，因此自从20世纪70年代产生以来工作流管理技术得到了广泛的应用，并促进了业务过程的发......

随着企业间竞争的日趋激烈和业务环境的不断变化,人们对业务流程管理的可靠性和正确性要求越来越高。实现一个具有可靠性、高度灵......

分布式发电具有灵活、分散、小型、靠近用户和合理使用清洁能源的特点,可提高局部供电可靠性、减少输电损耗、提高一次能源的利用......

离散事件动态系统(Discrete event dynamic system,DEDS)是指其状态变量只在某些离散时间点上发生变化的系统。大多数离散事件系统......

智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用......

层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统......

本文给出了网格计算资源的三层调度方案，并利用层次颜色Petri网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应......

Web服务技术日趋成熟，它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术，能够快速、灵活地满足复杂多变的业......

多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如......

在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略......

机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确......

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合......

Web服务技术日趋成熟，提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术，能够快速、灵活的满足复杂多变的业务......

针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,......