基于不变量综合离散事件系统Petri网控制器

• 作者: 张成现
• 来源期刊: 西安工程大学学报
• 关键词: 离散事件系统 Petri网 P-不变量 控制器
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 基础科学
• 页码范围: 549-553
• 页数: 5页
• 分类号: O233
• 语种: 中文
• DOI: 10.3969/j.issn.1674-649X.2007.04.028

摘要

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数(弧权值)和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张成现	西安工程大学计算机科学学院	4	12	2.0	3.0