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.