%0 Journal Article %T On Liveness of Asymmetric Choice Nets
论非对称选择网的活性 %A ZHEN Qiang %A LU Wei-ming %A
甄 强 %A 陆维明 %J 软件学报 %D 1998 %I %X In this paper, the sufficient and necessary condition of liveness monotonicity in AC(asymmetric choice) nets is presented. Moreover, the liveness monotonicity for a class of AC nets, the sufficient and necessary condition of structure liveness, is proved. %K AC nets (normalsize asymmetric choice nets) %K strong AC nets %K liveness %K liveness monotonicity %K structure liveness
非对称选择网(AC网) %K 强化AC网 %K 活性 %K 活性单调性 %K 结构活. %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D13C3D84D5F017E6&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=94C357A881DFC066&sid=0954045FA0C6885F&eid=3356A7630A93A219&journal_id=1000-9825&journal_name=软件学报&referenced_num=8&reference_num=9