Timed Petri nets-based Modeling Method for Batch Process Systems
Li-hua Tao · Modular Machine Tool & Automatic Manufacturing Technique · 2006
For batch process systems,which are complex systems,modeling is a foundation of performance analysis,simulation,scheduling and control.Batch process systems can be characterized as discrete-event dynamic systems that demonstrate sequential and concurrent relations between the events and operations.Firstly,timed Petri nets are described for the system modeling purposes.Batch process resources modules of Petri nets are presented for modeling of batch process systems.On the basis of the modules,a general modeling method of timed Petri nets is proposed for batch process systems.And an example study is described to show how the proposed modeling method is used to model batch process systems.Finally,scheduling application of the system based on the timed Petri net model is studied.