| 1990 | ||
|---|---|---|
| 4 | Heino Carstensen: The complexity of testing the equivalence of transition sequences. Applications and Theory of Petri Nets 1990: 48-57 | |
| 1988 | ||
| 3 | Heino Carstensen: Infinite Behaviour if Deterministic Petri Nets. MFCS 1988: 210-219 | |
| 1987 | ||
| 2 | Heino Carstensen: Decidability Questions for Fairness in Petri Nets. STACS 1987: 396-407 | |
| 1984 | ||
| 1 | Heino Carstensen, Rüdiger Valk: Infinite behaviour and fairness in Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 83-100 | |
| 1 | Rüdiger Valk | [1] |