For the most recent entries see the Petri Nets Newsletter.

Decidability of Reachability in Persistent Vector Replacement Systems.

Müller, Horst

In: Dembinski, P.: Lecture Notes in Computer Science, Vol. 88: Math. Found. of Computer Science 1980, 9th Symp., pages 426-438. Springer-Verlag, 1980.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography