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

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件的建模。通过为动作库所赋予不同的时间参数,可对批处理对程中特有的零等待与有限时间等待中间存储策略进行建模和分析,控制库所的引入可消除资源争用冲突。借助与建立的模型,可进一步对系统进行逻辑分析和控制综合研究。

Modeling of batch process system based on controlled time petri nets

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.;[