Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets Ⅱ

In this paper, the Extended Strong Asymmetric Choice Nets II(ESACN II), a subclass of Asymmetric Choice Nets (CAN) includingExtended Free Choice Nets (EFCN) and Strong Asymmetric Choice Nets II(SACN II), is presented. A necessary and sufficient condition forliveness of ESACN II is proposed. Moreover, a criterion is introduced, which isnecessary and sufficient for judgement of liveness and boundedness ofESACN II. Meanwhile a polynomial time algorithm is given to decideliveness and boundedness for ESACN II.