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.

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
}