Acta Informatica

, Volume 15, Issue 3, pp 309–318

Persistence of vector replacement systems is decidable

  • Ernst Mayr

DOI: 10.1007/BF00289268

Cite this article as:
Mayr, E. Acta Informatica (1981) 15: 309. doi:10.1007/BF00289268


In a persistent vector replacement system (VRS) or Petri net, an enabled transition can become disabled only by firing itself. Here, an algorithm is presented which allows to decide whether an arbitrary VRS is persistent or not, and if so, to construct a semilinear representation of the set of states reachable in the system.

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Ernst Mayr
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany (Fed. Rep.)
  2. 2.Laboratory for Computer ScienceM.I.T.CambridgeUSA