Speaker: Uli Fahrenberg, LMF ("Inaugural Lecture")
Tuesday Oct 28 2025, 14:00, Room 1Z62
Abstract:We give an introduction to higher-dimensional automata (HDAs) and their languages and evoke some of their many nice properties: a Kleene theorem, a Myhill-Nerode theorem, and a BET theorem. We also show how HDAs may be applied in the analysis of Petri nets and, if time permits, will delve into real-time extensions.