7 problems

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…

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…