Reachability Determination for a Non-Syntactic Subclass of Vector Replacement Systems (Petri Nets).

For the most recent entries see the Petri Nets Newsletter.

Dissertation. Manitoba, Canada: The University of Manitoba, Winnipeg, 1982.

Keywords: reachability; vector replacement system.

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