Persistence of Vector Replacement Systems is Decidable
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 state...
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149000 |
| _version_ | 1826213427483246592 |
|---|---|
| author | Mayr, Ernst |
| author_facet | Mayr, Ernst |
| author_sort | Mayr, Ernst |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T15:48:55Z |
| id | mit-1721.1/149000 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:48:55Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1490002023-03-30T03:10:59Z Persistence of Vector Replacement Systems is Decidable Mayr, Ernst 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. 2023-03-29T14:18:11Z 2023-03-29T14:18:11Z 1981-01 https://hdl.handle.net/1721.1/149000 7565189 MIT-LCS-TM-189 application/pdf |
| spellingShingle | Mayr, Ernst Persistence of Vector Replacement Systems is Decidable |
| title | Persistence of Vector Replacement Systems is Decidable |
| title_full | Persistence of Vector Replacement Systems is Decidable |
| title_fullStr | Persistence of Vector Replacement Systems is Decidable |
| title_full_unstemmed | Persistence of Vector Replacement Systems is Decidable |
| title_short | Persistence of Vector Replacement Systems is Decidable |
| title_sort | persistence of vector replacement systems is decidable |
| url | https://hdl.handle.net/1721.1/149000 |
| work_keys_str_mv | AT mayrernst persistenceofvectorreplacementsystemsisdecidable |