%A 罗继亮, 陈雪琨, 齐鹏飞, 赵坡 %T 间歇式化工形式化建模与顺序控制器设计 %0 Journal Article %D 2012 %J 上海交通大学学报 %R %P 1896-1900 %V 46 %N 12 %U {https://xuebao.sjtu.edu.cn/CN/abstract/article_40211.shtml} %8 2012-12-29 %X 摘要: 
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词: 
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号:  TB 61; TK 31
文献标志码:  A