层次颜色PETRI网

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
煤矿辅助运输调度系统的层次颜色Petri网建模被引量：1
《工业工程》2021年第6期1-7,共7页曹春玲 李梦雨 张娜齐 
为实现煤矿井下无轨运输车辆的安全调度,提出一种新型调度策略,以此为框架,利用层次颜色Petri网对调度系统进行建模。通过研究模型的运行过程,对调度策略的安全性、正确性及可重用性进行证明。同时,利用模型的状态空间报告对调度系统基...
关键词：井下车辆调度 层次颜色PETRI网 CPN tools软件 性能分析 
基于层次颜色Petri网的仓储作业系统建模与仿真被引量：1
《安庆师范大学学报（自然科学版）》2020年第4期72-79,共8页朱正月 
安徽省2018年度高校学科(专业)拔尖人才(gxbjZD85);安徽省2017年高等学校省级质量工程项目(2017jxtd104)。
在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略,分层构建该系统的全局HCPN模型。利用CPN(Colored Petri Net)Tools对系统模型各子CPN系统进行图形化描...
关键词：层次颜色PETRI网 仓储作业系统 替代变迁 融合库所 
层次颜色Petri网在Web信息系统建模中的应用
《集宁师范学院学报》2020年第3期1-6,共6页朱正月 
安徽省2018年度高校学科(专业)拔尖人才学术资助项目(gxbjZD85);安徽省2017年高等学校省级质量工程项目——物联网应用技术专业团队(2017jxtd104)。
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义...
关键词：层次颜色PETRI网 WEB信息系统 颜色Petri网工具包 替代变迁 融合库所 状态空间 
基于层次颜色Petri网的全感应控制交通信号灯建模与仿真被引量：6
《计算机工程与科学》2016年第9期1887-1893,共7页顾鸿儒 孙连坤 
国家青年科学基金(61403278)
针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网...
关键词：实时调度 模糊控制 层次颜色PETRI网 CPN TOOLS 单点全感应信号控制 
基于层次颜色Petri网的交通紧急调度算法与建模被引量：5
《计算机工程与应用》2016年第16期261-270,共10页顾鸿儒 孙连坤 
国家青年基金项目(No.61403278)
针对城市交通网络中紧急车辆在行驶区段中如何较快地到达终点的问题,提出了一种基于Petri网的交通紧急控制策略模型。利用Davidson函数中行驶时间与交通流之间的对应关系,得出紧急车辆在道路上的最短行驶时间,并将其作为权重,运用Dijkst...
关键词：交通紧急车辆控制策略 Dijkstrsa算法 PETRI网 路径寻优 
机车运输调度系统的HCPN模型及性能测量方法被引量：11
《电子测量与仪器学报》2012年第1期7-17,共11页陆阳 方欢 李谦 葛方振 
国家自然科学基金资助项目(60873195;61070220);高等学校博士点基金资助项目(20090111110002);安徽省高等学校省级自然科学研究重大项目(ZD200905)
机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建...
关键词：机车调度 协调 层次颜色PETRI网 先验模型 性能测量 
Web服务组合的层次颜色Petri网描述模型被引量：6
《计算机工程》2009年第24期39-40,44,共3页李景霞 程久军 
国家"863"计划基金资助项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);上海市重点攻关基金资助项目(08251203403)
针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验...
关键词：层次颜色PETRI网 模型驱动架构 WEB服务组合 
一种基于扩展颜色Petri网的Web服务组合验证机制被引量：4
《计算机科学》2009年第10期146-149,共4页李景霞 闫春钢 
国家"八六三"高技术研究发展计划项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);国家"九七三"重点基础研究发展规划项目"语义网格的过程语义及其验证理论与服务集成技术"(2003CB316902)资助
Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程...
关键词：层次颜色PETRI网 模型驱动架构 WEB服务组合 正确性分析 
基于颜色Petri网的多agent动态调度建模与分析被引量：2
《系统仿真学报》2007年第A01期193-198,共6页刘波 罗军舟 宋爱波 
国家自然科学基金项目(90204009;90604004)
多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,...
关键词：颜色PETRI网 层次颜色PETRI网 多agent调度 动态调度 优先级 
网格计算资源调度的层次Petri网建模与分析被引量：3
《计算机科学》2006年第4期236-239,共4页韩耀军 
国家重大研究计划(90412013);国家自然科学基金项目(60473094);上海外国语大学科学研究基金项目
本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源...
关键词：网格计算 资源调度 PETRI网 层次颜色PETRI网 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部