%0 Journal Article
%T 一种改进型的S4PR网活性条件
%A 傅健丰
%A 董利达
%A 徐姗姗
%A 朱丹
%A 朱承丞
%J 自动化学报
%P 1439-1446
%D 2013
%R 10.3724/SP.J.1004.2013.01439
%X ？研究了顺序资源共享分配系统的建模模型S4PR(Systemsofsequentialsystemswithsharedresources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max'或max"-controlled时能保持活性,但现有的活性条件对信标的限制严格且不适用于某些网系统,本文提出了一类名为max*-controlled的改进型条件,并证明了当一个S4PR网的所有信标都满足max*-controlled条件时,网系统能保持活性.与现有的其他条件相比,新的活性条件更加宽松,为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.
%K Petri网
%K S4PR网
%K 活性条件
%K 信标
%U http://www.aas.net.cn/CN/abstract/abstract18177.shtml