10 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…

Let ${\mathcal E}_N$ be a trace-regular event structure, and let $\operatorname{MSO}({\mathcal E}_N)$ denote its monadic second-order theory. The event structure is grid-free when…

Directed topological complexity conjecture. We conjecture that

Let $\mathcal D$ be a strongly regular event domain. A regular nice labeling is the labeling property used in Thiagarajan's conjecture. Undecidability conjecture. There does not ex…

Let $\mathcal E$ be a strongly regular event structure, and let its domain be hyperbolic. A regular nice labeling is a finite nice labeling satisfying the regularity condition for…

Let an event domain be the domain of an event structure, and call it hyperbolic when its underlying graph is hyperbolic. Hyperbolic event-domain conjecture. Conjectures Thiagarajan…

Let $\mathcal E$ be an event structure with event domain. A directed flat square grid is a directed square grid embedded isometrically in the event domain, with adjacent squares no…

Let $\mathcal E$ be an event structure, and let its conflict event domain be the domain of configurations associated with $\mathcal E$. A conflict event domain is recognizable when…

Let an event structure have degree at most $n$, where degree is the least upper bound of the sizes of its independent sets, and let a nice labeling assign different labels to every…