国家重点实验室开放基金(ICT1317)
- 作品数：2 被引量：1H指数：1
- 相关作者：罗继亮倪会娟陈雪琨赵良煦王飞更多>>
- 相关机构：华侨大学浙江工商大学更多>>
- 发文基金：福建省高等学校新世纪优秀人才支持计划国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于普通Petri网的梯形图中接通延时定时器的建模方法被引量：1
- 2014年
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
- 温世刚罗继亮倪会娟陈雪琨
- 关键词：可编程逻辑控制器PETRI网梯形图
- 基于约束转换的Petri网最优监控器设计
- 2013年
- 针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.
- 罗继亮王飞邵辉赵良煦
- 关键词：离散事件系统PETRI网
