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{\"u}diger},
        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               = {}
}