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

Modeling of batch process system based on controlled time petri nets

作　　者：李慧芳[1] 李人厚[1] 陈浩勋[1] 

机构地区：[1]西安交通大学系统工程研究所,陕西西安710049

出　　处：《制造业自动化》2000年第1期37-40,64,共5页Manufacturing Automation

摘　　要：将受控赋时 Petri网用于批处理生产过程中离散事件的建模。通过为动作库所赋予不同的时间参数 [4] ,可对批处理过程中特有的零等待与有限时间等待中间存储策略进行建模和分析 ;控制库所的引入可消除资源争用冲突。借助于所建立的模型 ,可进一步对系统进行逻辑分析与控制综合研究。Controlled Time Petri Nets are used to model discrete events in batch process plant in this paper. By adding different time parameters to action places,the intermediate storage policy of Zero Wait and Finite Time Wait specially in batch process plant can be modeled and analyzed; By introducing control places,the resource contention problem can be resolved. The logical analysis and control synthesis about the system can be further studied by using the model created above.\;[

关 键 词：批处理系统 离散事件系统 赋时PETRI网 建模 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]