西安工程科技学院学报2007,Vol.21Issue(4):549-553,5.
基于不变量综合离散事件系统Petri网控制器
Synthesis of petri net controllers for discrete event systems based on invariant
张成现1
作者信息
- 1. 西安工程大学,计算机科学学院,陕西,西安,710048
- 折叠
摘要
关键词
离散事件系统/Petri网/P-不变量/控制器分类
数理科学引用本文复制引用
张成现..基于不变量综合离散事件系统Petri网控制器[J].西安工程科技学院学报,2007,21(4):549-553,5.