The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets

RĂ¼diger Valk, Matthias Jantzen. The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Informatica, 21:643-674, 1985.

Possibly Related Publications

The following publications are possibly variants of this publication: