In thispaper Petri Netsbased CtrIPN, DPN and CDPN theory is presented, and the industrycontrolcomputers and programmable logic controllers based control systemtheory andway of program generation from CDPN are investigated.

• 本文提出基于Petri网的CtrlPN，DPN和CDPN理论,研究基于工业控制计算机和可编程序逻辑控制器的控制系统的CDPN模型控制程序自动生成理论和方法，并着重论述了CtrlPN，DPN和CDPN理论的提出和工程实例立体停车库系统的CDPN建模和分析。