论文部分内容阅读
研究了顺序资源共享分配系统的建模模型S^4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个SOPR网在所有信标都满足max,max′或max″-controlled时能保持活性,但现有的活性条件对信标的限制严格且不适用于某些网系统,本文提出了一类名为max″-controlled的改进型条件,并证明了当一个S^4PR网的所有信标都满足max*-controlled条件时,网系统能保持活性.与现有的其他条件相