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