The residue of vector sets with applications to decidability problems in Petri nets - Valk, Rüdiger (1984)