国家教育部博士点基金(20020335103)

作品数：3被引量：4H指数：1
导出分析报告
相关作者：吴维敏茹雨袁剑蓉苏宏业褚健更多>>
相关机构：浙江大学更多>>
相关期刊：《系统仿真学报》《控制与决策》更多>>
相关主题：PETRI网离散事件系统PETRI禁止状态更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网上的禁止状态监控器综合被引量：1
《控制与决策》2006年第6期671-674,696,共5页罗继亮 袁剑蓉 吴维敏 苏宏业 王肖 褚健 
高等学校博士学科点专项科研基金项目(20020335103);浙江省自然科学基金项目(Y104081);国家创新研究群体科学基金(60421002)
给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价...
关键词：监控 离散事件系统 PETRI网 禁止状态 
逆网在离散事件系统监控理论中的应用
《系统仿真学报》2005年第z1期213-215,共3页茹雨 吴维敏 
高等学校博士学科点专项科研基金(20020335103); 浙江省自然科学基金(Y104081)和浙江省教育厅科研项目(20040149).
Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状...
关键词：离散事件系统 监控 PETRI网 逆网 
基于有限容量库所方法的死锁防止算法被引量：3
《系统仿真学报》2003年第z1期59-62,66,共5页茹雨 吴维敏 
国家863计划CIMS主题重点课题(2001AA413020); 高等学校博士学科点专项科研基金(20020335103)。
针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法。该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进...
关键词：PETRI网 死锁防止 控制规范 有限容量库所方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部