Daniel Y. Chao Jose A. Nicdao Liveness for Synchronized Choice Petri Nets. 124-136 2001 44 Comput. J. 2 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440124.sgm.abs.html db/journals/cj/cj44.html#ChaoN01