%0 Journal Article %T 论加权扩充自由选择网的活性与安全性 %A 甄强? %A 陆维明? %J 软件学报 %P 300-307 %D 2000 %X 活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类,人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件. %K 加权扩充自由选择网 %K 活 %K 安全 %K 结构活 %K 结构安全. %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000303&flag=1