Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait. - GuanJun Liu; LiJing Chen (Int. J. Syst. Sci., 2016)