Hardness Results for the Synthesis of $b$-bounded Petri Nets (Technical Report)
(1904.01094)Abstract
Synthesis for a type $\tau$ of Petri nets is the following search problem: For a transition system $A$, find a Petri net $N$ of type $\tau$ whose state graph is isomorphic to $A$, if there is one. To determine the computational complexity of synthesis for types of bounded Petri nets we investigate their corresponding decision version, called feasibility. We show that feasibility is NP-complete for (pure) $b$-bounded P/T-nets if $b\in \mathbb{N}+$. We extend (pure) $b$-bounded P/T-nets by the additive group $\mathbb{Z}_{b+1}$ of integers modulo $(b+1)$ and show feasibility to be NP-complete for the resulting type. To decide if $A$ has the event state separation property is shown to be NP-complete for (pure) $b$-bounded and group extended (pure) $b$-bounded P/T-nets. Deciding if $A$ has the state separation property is proven to be NP-complete for (pure) $b$-bounded P/T-nets.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.