Persistence of Vector Replacement Systems is Decidable
| dc.contributor.author | Mayr, Ernst | en_US |
| dc.date.accessioned | 2023-03-29T14:18:11Z | |
| dc.date.available | 2023-03-29T14:18:11Z | |
| dc.date.issued | 1981-01 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149000 | |
| dc.description.abstract | 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 of not, and if so, to construct a semilinera representation of the set of states reachable in the system. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-189 | |
| dc.title | Persistence of Vector Replacement Systems is Decidable | en_US |
| dc.identifier.oclc | 7565189 |
