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…

Converse property. If $f$ and $g$ are two parallel $2$-arrows in $\langle \Sigma \rangle$ such that $\overline{\pi}(f)=\overline{\pi}(g)$, then

A piecewise linear dynamical system is assumed to arise from a prioritized Petri net, with the sufficient conditions and assumptions established in the paper ensuring the existence…

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 $\mathbb{O}\mathbf{pen}(\mathsf{Petri})$ be the double category of open Petri nets, and let $\mathbb{O}\mathbf{neWay}(\mathsf{Petri})$ be the full sub-double category whose hor…

Let $P$colon $LX\to LY$ and $Q\colon LY\to LZ$ be composable open Petri nets, and let $\blacksquare$ denote their reachability semantics. An open Petri net is one-way if no place i…

Let ${\mathfrak{P}}_n$ denote the pipeline Petri net with $n$ transitions. Its homology groups are conjectured to satisfy … and … for every $k\geqslant 2$ and every $n\geqslant 2$.…