可分解非对称选择网的活性和家态

徐静等曾给出了非对称选择网 (Asym metric Choice Nets,AC网 )的一子类 ,即可分解非对称选择网 (De-composable Asym metric Choice Nets,DAC网 ) ,证明其结构活结构有界的充分必要条件满足死锁 -陷阱性质 .该文与之不同 ,给出了一种合成方法 ,证明合成后的 DAC网保持了子网的性质 ,如活性、有界性和家态 (Home State) .同时充分利用子网的性质给出了判定此类合成 DAC网结构活和结构有界的有多项式时间算法 .最后 ,给出一类更一般的组合网 ,该组合网保持了子网的活性 .