Liveness for synchronized choice Petri nets
scientific article; zbMATH DE number 1658243