Abstract:In this paper, the necessary and sufficient condition of structural liveness for a subclass of Asymmetric Choice nets, extended strong AC nets, is presented. Moreover, it is proved that the marking liveness of these structurally live extended strong AC nets can be judged in case they are structural live. Then the liveness monotonicity for extended strong AC nets is proved and a necessary and sufficient condition for structural liveness and structural boundedness of extended strong AC nets is given in the contribution.