摘要
基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型———控制和数据Petri网(CDPN).给出了CDPN形式定义,发射规则.研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据.最后给出了该方法在立体停车库控制系统设计中的应用.
A novel calss of Petri nets, or CDPN-Control and Data Petri Net as we call it, is developed for the modeling, analysis, and control purposes in discrete event sytems. The formal definition and firing rules are proposed. Meanwhile, the modeling procedure of CDPN underlying industrial computers and programmable logic controllers is presented. A formal analysis is made for the design of controls of discrete event systems. Finally, an engineering example, which is an automatic carbarn, is used to illustrate the modeling and analysis methods of CDPN.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2005年第1期66-70,共5页
Journal of Xidian University
基金
国家自然科学基金资助项目(60474018)
西安电子科技大学青年工作站基金资助项目
