Persistence of vector replacement systems is decidable

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

57 Zitate (Scopus)

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 or not, and if so, to construct a semilinear representation of the set of states reachable in the system.

OriginalspracheEnglisch
Seiten (von - bis)309-318
Seitenumfang10
FachzeitschriftActa Informatica
Jahrgang15
Ausgabenummer3
DOIs
PublikationsstatusVeröffentlicht - Juni 1981

Fingerprint

Untersuchen Sie die Forschungsthemen von „Persistence of vector replacement systems is decidable“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren