Heino Carstensen

According to our database, Heino Carstensen authored at least 5 papers between 1984 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

The complexity of testing the equivalence of transition sequences.

Heino Carstensen

Proceedings of the Advances in Petri Nets 1991, 1990

1988

Infinite Behaviour if Deterministic Petri Nets.

Heino Carstensen

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1987

Decidability Questions for Fairness in Petri Nets.

Heino Carstensen

Proceedings of the STACS 87, 1987

1986

Fairness bei nebenläufigen Systemen - eine Untersuchung am Modell der Petrinetze.

Heino Carstensen

PhD thesis, 1986

1984

Infinite behaviour and fairness in Petri nets.

Heino Carstensen, Rüdiger Valk

Proceedings of the Advances in Petri Nets 1984, 1984