1. A. Arnold, Topological characterizations of infinite behaviours of transition systems, LNCS 154 (1983) 28–38 Springer Verlag, Berlin.
2. L. Boasson & N. Nivat, Adherences of languages, J. Comput. System Sci. 20 (1980) 285–309.
3. J.R. Büchi, On a decision method in restricted second order arithmetic, in: Proc. Int. Congr. Logic, Methodology and Philosophy of Sciences 1960, Stanford University Press, Stanford, CA, 1962.
4. H. Carstensen, Fairness in deadlockfree Petri nets with the finite delay property, Proc 5th European Workshop on appl. and theory of Petri nets, Aarhus, 1984, pp. 234–253.
5. H. Carstensen, Infinite behaviour of deterministic Petri nets, LNCS 324 (1988) 210–219 Springer Verlag, Berlin.