Controlled Time Petri Nets and Modeling of Batch Process System
Li Huifang,Li Renhou,Chen Haoxun
(Xi'an Jiaotong University, Xi'an 710049, China)

Abstract: Controlled time Petri nets are used to model discrete events in batch process plant. By adding different time parameters to action places, the intermediate storage policy of zero and finite time wait can be modeled and analyzed. By introducing control places, the resource contention problem can be resolved. Logical analysis and control synthesis of the plant system can thus be made by application of the model.
Keywords: batch process plant;discrete events;time Petri nets;modeling;control