层次颜色PETRI网

作品数：11被引量：46H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙连坤李景霞马炳先徐颖蕾吴哲辉更多>>
相关机构：山东科技大学安徽理工大学天津工业大学同济大学更多>>
相关期刊：《工业工程》《计算机工程》《系统仿真学报》《集宁师范学院学报》更多>>
相关基金：国家自然科学基金国家杰出青年科学基金国家高技术研究发展计划安徽省高等学校省级质量工程项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于扩展颜色Petri网的Web服务组合验证机制被引量：4
《计算机科学》2009年第10期146-149,共4页李景霞 闫春钢 
国家"八六三"高技术研究发展计划项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);国家"九七三"重点基础研究发展规划项目"语义网格的过程语义及其验证理论与服务集成技术"(2003CB316902)资助
Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程...
关键词：层次颜色PETRI网 模型驱动架构 WEB服务组合 正确性分析 
网格计算资源调度的层次Petri网建模与分析被引量：3
《计算机科学》2006年第4期236-239,共4页韩耀军 
国家重大研究计划(90412013);国家自然科学基金项目(60473094);上海外国语大学科学研究基金项目
本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源...
关键词：网格计算 资源调度 PETRI网 层次颜色PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部