Reference:

Eike Best and Javier Esparza. Existence of home states in petri nets is decidable. Inf. Process. Lett., 116(6):423–427, 2016.

Suggested BibTeX entry:

@article{DBLP:journalsiplBestE16,
    author = {Eike Best and Javier Esparza},
    journal = {Inf. Process. Lett.},
    number = {6},
    pages = {423--427},
    title = {Existence of home states in Petri nets is decidable},
    volume = {116},
    year = {2016}
}