For the most recent entries see the Petri Nets Newsletter.

Compositional Generation of Home States in Free Choice Systems.

Best, Eike; Cherkasova, Ludmila; Desel, Jörg

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography