|
软件学报 1998
On Liveness of Asymmetric Choice Nets
|
Abstract:
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.