Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2019
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets
Amazigh Amrane, Nicolas Bedon
Let be an alphabet and denote the class of all countable N-free partially ordered sets labeled by , in which chains are scattered linear orderings and antic…