摘要
在给出批处理生产系统的过程调度的赋色时间限制混合 (CTCH)Petri网模型的基础上 ,分析了影响CTCH网活性的基本结构 ,给出了该结构产生死锁的原因。在此基础上 ,分析了该结构死锁产生死锁的充要条件 ,并给出了避免死锁的控制策略 ,为解决整个CTCH网的死锁提供了重要依据。实例表明了结论的正确性。
Based on the colored time constraint hybrid (CTCH) Petri net model for the process scheduling problem of batch system, the basic structure that affects the liveness of CTCH Petri net is analyzed. The reason of the deadlock caused by the structure is given. And the sufficient and necessary condition caused by this structure is introduced and the control policy that avoids the deadlock is proposed, which supply the important foundation for the deadlock avoidance of the whole CTCH model. The example in this paper shows the validness of the result.
出处
《系统工程与电子技术》
EI
CSCD
2000年第12期41-44,共4页
Systems Engineering and Electronics
基金
山西省青年科学基金资助课题
关键词
批处理系统
生产过程控制
网络分析
Batch processing system
Process control
Network analysis
