Existence of home states in Petri nets is decidable Article in Information Processing Letters (June 2016)