In: Choffrut, C.; et al.: Lecture Notes in Computer Science, Vol. 480; STACS 91. Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, 1991, Hamburg, Germany, pages 398-409. Berlin, Germany: Springer-Verlag, 1991.
Abstract: Free choice nets are a class of Petri nets allowing to model concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are ground states which lead to a strongly connected state graph, that is, a home state can be reached from any of its successor states. The main result of this paper characterises the home states of a structurally live and bounded free choice system compositionally by recourse to its decomposition into T-components.
Keywords: compositional generation (of) home state(s) (in) live (and) bounded free choice system(s); T-component.