Infinite behaviour and fairness in Petri nets. - Heino Carstensen; Rüdiger Valk (European Workshop on Applications and Theory in Petri Nets, 1984)

Fairness bei nebenläufigen Systemen - eine Untersuchung am Modell der Petrinetze. - Heino Carstensen (1986)

Decidability Questions for Fairness in Petri Nets. - Heino Carstensen (STACS, 1987)

Infinite Behaviour if Deterministic Petri Nets. - Heino Carstensen (MFCS, 1988)

The complexity of testing the equivalence of transition sequences. - Heino Carstensen (Applications and Theory of Petri Nets, 1990)