Controlled Time Petri Nets and Modeling of Batch Process System

• 受控赋时Petri网在批处理系统建模中的应用