I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Existence of home states in Petri nets is decidable

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}
}

PDF (289 kB)