Author(s): Li Huifang, Li Renhou, Chen Haoxun
Pages: 55-59
Year: 2000 Issue:  4
Journal: JOURNAL OF XI'AN JIAOTONG UNIVERSITY
Keyword:  批处理过程; 离散事件系统; 赋时Petri网; 建模; 控制;
Abstract: 将受控赋时Petri网用于批处理生产过程中离散事件系统的建模,并通过为动作库所赋予不同的时间参数,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析.控制库所的引入,可消除资源争用冲突.借助于所建立的模型,可进一步对系统进行逻辑分析与控制综合研究.