国家教育部博士点基金(20020335103)
- 作品数：3 被引量：7H指数：2
- 相关作者：吴维敏茹雨袁剑蓉苏宏业褚健更多>>
- 相关机构：浙江大学更多>>
- 发文基金：国家教育部博士点基金浙江省自然科学基金国家自然科学基金创新研究群体项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 逆网在离散事件系统监控理论中的应用
- 2005年
- Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状态反馈控制策略.本文对这两个方面进行了简要的介绍,随后用一个简单的示例做了说明.
- 茹雨吴维敏
- 关键词：离散事件系统PETRI网
- Petri网上的禁止状态监控器综合被引量：4
- 2006年
- 给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.
- 罗继亮袁剑蓉吴维敏苏宏业王肖褚健
- 关键词：离散事件系统PETRI网禁止状态
- 基于有限容量库所方法的死锁防止算法被引量：3
- 2003年
- 针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法。该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大。最后用一个示例说明了该算法,并进行了进一步的讨论。
- 茹雨吴维敏
- 关键词：PETRI网
