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