论文部分内容阅读
将受控赋时Petri网用于批处理生产过程中离散事件系统的建模 ,并通过为动作库所赋予不同的时间参数 ,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析 .控制库所的引入 ,可消除资源争用冲突 .借助于所建立的模型 ,可进一步对系统进行逻辑分析与控制综合研究
The controlled timed Petri net is used to model the discrete event system in the batch process. Through the different time parameters assigned to the action database, the zero wait, finite time waiting intermediate storage in the chemical batch process Strategy modeling and analysis.The introduction of control place can eliminate resource contention conflict.Based on the established model, we can further analyze the system and control the integrated research