郑寒

作品数：3被引量：1H指数：1
导出分析报告
供职机构：浙江大学更多>>
发文主题：PETRI网控制器设计显式离散事件系统工作流网更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《浙江大学学报（工学版）》《系统仿真学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划浙江省科技厅资助项目浙江省科技厅项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于工作流的安全库所替换网特性研究被引量：1
《浙江大学学报（工学版）》2010年第9期1711-1718,共8页董利达 程曦浩 郑寒 
国家自然科学资金资助项目(60503027);国家"863"高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)
基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换...
关键词：PETRI网 工作流网 安全库所 替换网 
一类含T-图环结构受控网显式控制器设计
《浙江大学学报（工学版）》2010年第6期1057-1066,共10页董利达 郑寒 程曦浩 
国家自然科学资金资助项目(60503027);国家"863""高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)
定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换...
关键词：离散事件系统 PETRI网 显式监控器 T-图工作流 
基于TSTWT网系统的显式控制器设计
《系统仿真学报》2008年第S2期127-131,共5页董利达 郑寒 程曦浩 
国家自然科学资金资助(60503027);国家"863"高技术研究发展计划资助(2006AA040309);浙江省科技厅资助(2007C1046)
在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其...
关键词：离散事件系统 受控PETRI网 简化 显式控制器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部