Presheaf Automata: A Generalized Formalism for Modeling Concurrent Systems
Presheaf automata provide a unified framework for modeling and analyzing various automata-like formalisms, including higher-dimensional automata, Petri nets, and vector addition systems.
