论文部分内容阅读
在给出批处理生产系统的过程调度的赋色时间限制混合(CTCH)Petri网模型的基础上,分析了影响CTCH网活性的基本结构,给出了该结构产生死锁的原因,在此基础上,分析了该结构死锁产生死锁的充要条件,并给出了避免死锁的控制策略,为解决整个CTCH网的死锁提供了重要依据。实例表明了结论的正确性。