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
}