4 problems

Let an event structure be a partially ordered structure with a conflict relation, and let its degree be the maximum number of events concurrent with any event. A nice labeling assi…

Let ${\mathcal E}$ be an event structure, and let ${\mathcal E}_N$ denote the event-structure unfolding arising from a finite 1-safe Petri net $N$. Thiagarajan's finite 1-safe Petr…

An asynchronous transition system is a concurrent-process model equipped with events and an independence relation; its homological dimension is the largest degree in which its asso…

A higher-dimensional automaton (HDA) is a model for concurrency based on labeled precubical sets, while a history-dependent automaton is a formalism introduced by Montanari and Pis…