一种扩展Petri网及其应用研究

An extended Petri net and its application

基于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.