Bibliography
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets
Rüdiger Valk and Matthias Jantzen.
The residue of vector sets with applications to decidability problems
in Petri nets.
Acta Informatica 21, pages 643-674, 1985.
[pdf]
[pdf]
BibTeX
@ARTICLE{Valk+85,
AUTHOR = {Valk, R{\"u}diger and Jantzen, Matthias},
JOURNAL = {Acta Informatica 21},
PAGES = {643--674},
TITLE = {The Residue of Vector Sets with Applications to Decidability Problems in {Petri} Nets},
YEAR = 1985
}
