For the most recent entries see the
Petri Nets Newsletter.
A Decidability Theorem for a Class of Vector-addition Systems.
Crespi-Reghizzi, S.;
Mandrioli, D.
In:
Information Processing Letters, Vol. 3, No. 3, pages 78-80.
January 1975.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography