基于赋时Petri网的批处理系统建模

批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统，串行与并行生产过程并存。为了建立批处理系统的动态模型，引入了赋时Petri网的建模概念和特征，进行了批处理系统中资源模块的建模描述。在此基础上，提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法，针对具体的批处理实例系统进行了建模。同时，在实例模型基础上，进行了批处理系统的调度研究。

Timed Petri nets -based Modeling Method for Batch Process Systems

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.