Bibliography
The residue of vector sets with applications to decidability problems in Petri nets
Matthias Jantzen and Rüdiger Valk.
The residue of vector sets with applications to decidability problems
in Petri nets.
Bericht des Fachbereichs Informatik FBI-HH-B-101/84, Universität
Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg,
February 1984.
BibTeX
@techreport{Jantzen+84a,
Address = FBIUniAdresse,
Author = {Jantzen, Matthias and Valk, R{\"u}diger},
Institution = FBIUniHHbis2005,
Month = feb,
Number = {FBI-HH-B-101/84},
Pages = 47,
Type = FBIBericht,
Title = {The residue of vector sets with applications to decidability problems in {Petri} nets},
Year = 1984
}
