Initiation to research / Uli Fahrenberg:
Discrete and continuous models for concurrent systems: from Petri nets to directed spaces

2025-11-18:

  1. Elements of Higher-Dimensional Automata Theory / UF: initial presentation
  2. Bibliography:
    1. Closure and Decision Properties for Higher-Dimensional Automata
    2. Myhill-Nerode Theorem for Higher-Dimensional Automata
    3. Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
    4. Kleene Theorem for Higher-Dimensional Automata
    5. Kamp Theorem for Higher Dimensional Automata
    6. Posets With Interfaces as a Model for Concurrency
    7. Sculptures in Concurrency
    8. Petri Nets and Higher-Dimensional Automata
    9. Higher-Dimensional Timed Automata for Real-Time Concurrency
    10. Towards an efficient conversion of Petri nets into Higher Dimensional Automata
    11. Higher-Dimensional Automata: Extension to Infinite Tracks
    (Do not hesitate to find other papers; but ask me before going too deep.)
  3. Planning: who does what?
    4. Attention no course on 2025-11-25

2025-11-25: no course

2025-12-2: two presentations:

  1. Esther - Closure and Decision Properties for Higher-Dimensional Automata (1)
  2. Paul G - Petri Nets and Higher-Dimensional Automata (8)

2025-12-9: one presentation:

  1. Paul H - Towards an efficient conversion of Petri nets into Higher Dimensional Automata (10)
and afterwards, question time: please prepare some questions

2025-12-16: attention we start already 13:30 (and end 16:00).
Three presentations:

  1. Igor - Posets With Interfaces as a Model for Concurrency (6)
  2. Antonin - Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata (3)
  3. Adam - Sculptures in Concurrency (7)

2026-01-06: last session. Again we start 13:30.
Two presentations:

  1. Théotime - Kamp Theorem for Higher Dimensional Automata (5)
  2. Antoine - Higher-Dimensional Automata: Extension to Infinite Tracks (11)