Report LRI--503. Univ. de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique, July 1989.
Abstract: The authors present a proof of the decidability of home space property for linear sets of markings, and extend this result to finite unions of linear sets having the same periods. They reduce this property to the same one for submarkings, and finite unions of submarkings having the same support. Decidability of home space property for this last class of sets is proved by applying a new result characterizing the set of reachable markings by means of a finite coinitial part of it.
Keywords: decidability (of) home space property; linear set; submarking; reachable marking.
Back to the Petri Nets Bibliography