Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding.

Guanjun Liu, Kun Zhang, Changjun Jiang

Browse the full ICA3PP paper archive.