论文部分内容阅读
基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型———控制和数据Petri网(CDPN).给出了CDPN形式定义,发射规则.研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据.最后给出了该方法在立体停车库控制系统设计中的应用.