A necessary and sufficient condition for the liveness of normal nets - Liu, GuanJun; Chao, Daniel Y.; Jiang, ChangJun
Keywords: Liveness; Normal nets; Petri nets; Siphons; Structural repetitiveness; Weakly persistent nets