浙江省教育厅科研计划(20061082)
- 作品数：3 被引量：6H指数：1
- 相关作者：王寿光林善法张有兵许振伟更多>>
- 相关机构：浙江工商大学更多>>
- 发文基金：浙江省自然科学基金浙江省教育厅科研计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 带有不可控变迁的一般不等式约束的Petri网控制器综合被引量：1
- 2007年
- 针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.
- 王寿光许振伟
- 关键词：PETRI网离散事件系统线性不等式约束
- 基于Grafcet的电梯控制系统建模被引量：4
- 2007年
- Grafcet建模工具以Petri网理论为其理论基础,它可以为并发、同步系统建模。Grafcet由图形表示,直观、易理解,且有很强的逻辑描述和分析能力,被广泛地应用到工业中。本文运用Grafcet建立电梯控制系统的模型,并将它与状态图模型进行比较,说明Grafcet有强大的描述系统的能力,并且在建立复杂模型方面具有无可比拟的优势。
- 王寿光林善法张有兵
- 关键词：GRAFCET电梯PETRI网
- 基于网络展开法研究标识之间的可达关系
- 状态可达性问题是离散事件系统领域中一个核心问题。该领域中大多数问题最终可以简化成可达性问题。本文研究某些标识之间的可达关系。文中首先给一种有限前缀,然后在该有限前缀的基础上判断某些配制之间的可达关系,最后通过这些配制之间...
- 王寿光
- 关键词：PETRI网离散事件系统可达性
- 文献传递
- 基于局部关联矩阵的Petri网监控器的综合被引量：1
- 2007年
- 针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.
- 王寿光
- 关键词：PETRI网离散事件系统
