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.
In Proceedings of the 4th European Workshop on Applications and
Theory of Petri Nets, pages 342-363, Toulouse, France, 1983.
BibTeX
@INPROCEEDINGS{Jantzen+83X,
AUTHOR = {Jantzen, Matthias and Valk, R\"udiger},
ADDRESS = {Toulouse, France},
PAGES = {342--363},
PUBLISHER = {},
BOOKTITLE = {Proceedings of the 4th European Workshop on Applications and Theory of {Petri} Nets},
TITLE = {The residue of vector sets with applications to decidability problems in {Petri} nets},
YEAR = 1983,
ISBN = {}
}
