Abstract: Liveness is one of the important behavioral properties of Petri nets. The aim of this contribution is to draw a more powerful algorithm to decide liveness of asymmetric choice nets （AC）. Firstly, this paper presents difinhions of Pre-induced subnet and Po

Key words: Asymmetric choice net, Liveness, Liveness monotonicity, Algorithm