Li Jiao A method for verifying deadlock freedom and liveness of petri nets. 209-211 2008 ISCAS http://dx.doi.org/10.1109/ISCAS.2008.4541391 conf/iscas/2008 db/conf/iscas/iscas2008.html#Jiao08