Compositional generation of home states in free choice nets
Eike Best, Ludmila A. Cherkasova, Jörg Desel · Formal Aspects of Computing · 1992
Abstract Free choice nets are a class of Petri nets which allow the modelling of concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are initial 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 well-formed free choice net compositionally by recourse to its decomposition into T-components.