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

• Official course website
• Uli Fahrenberg
• The (i)Po(m)set Project

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?
Attention no course on 2025-11-25

2025-11-25: no course

2025-12-2: two presentations: Esther - 1; Paul G - 8