8 papers
Automata on Graph Alphabets
Hugo Bazille, Uli Fahrenberg
The theory of finite automata concerns itself with words in a free monoid together with concatenation and without further structure. There are, however, important applications whic…
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…
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…
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…
Logic and Languages of Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1
In this paper we study finite higher-dimensional automata (HDAs) from the logical point of view. Languages of HDAs are sets of finite bounded-width interval pomsets with interfaces…
Presenting Interval Pomsets with Interfaces
Amazigh Amrane, Hugo Bazille, Emily Clement +2
Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurren…
Higher-Dimensional Timed Automata for Real-Time Concurrency
Amazigh Amrane, Hugo Bazille, Emily Clement +2
We present a new language semantics for real-time concurrency. Its operational models are higher-dimensional timed automata (HDTAs), a generalization of both higher-dimensional aut…
Closure and Decision Properties for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1
We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered mul…