3 papers
cs.FL2026
Variants of Higher-Dimensional Automata
Hugo Bazille, Jérémy Dubut, Uli Fahrenberg +1
The theory of higher-dimensional automata (HDAs) has seen rapid progress in recent years, and first applications, notably to Petri net analysis, are starting to show. It has, howev…
cs.FL2025
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Emily Clement +3
In this paper we explore languages of higher-dimensional automata (HDAs) from an algebraic and logical point of view. Such languages are sets of finite width-bounded interval pomse…
cs.LO2025
Petri Nets and Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +2
Petri nets and their variants are often considered through their interleaved semantics, i.e. considering executions where, at each step, a single transition fires. This is clearly…