A method for verifying deadlock freedom and liveness of petri nets.

Li Jiao

Browse the full ISCAS paper archive.