Abstract: 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 underl
ying industrial computers and programmable logic controllers is presented. A for
mal analysis is made for the design of controls of discrete event systems. Fina
lly, an engineering example, which is an automatic carbarn, is used to illustrat
e the modeling and analysis methods of CDPN.

Key words: control and data Petri net, control system, modeling and analysis