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

Controlled Time Petri Nets and Modeling of Batch Process System

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

机构地区：[1]西安交通大学,西安710049

出　　处：《西安交通大学学报》2000年第4期55-59,共5页Journal of Xi'an Jiaotong University

摘　　要：将受控赋时Petri网用于批处理生产过程中离散事件系统的建模 ,并通过为动作库所赋予不同的时间参数 ,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析 .控制库所的引入 ,可消除资源争用冲突 .借助于所建立的模型 。Controlled time Petri nets are used to model discrete events in batch process plant. By adding different time parameters to action places, the intermediate storage policy of zero and finite time wait can be modeled and analyzed. By introducing control places, the resource contention problem can be resolved. Logical analysis and control synthesis of the plant system can thus be made by application of the model.

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

分 类 号：TP278[自动化与计算机技术—检测技术与自动化装置] F406.2[自动化与计算机技术—控制科学与工程]