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