Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
184 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete (2002.04841v1)

Published 12 Feb 2020 in cs.CC, cs.DS, cs.FL, and cs.LO

Abstract: For a given labelled transition system (LTS), synthesis is the task to find an unlabelled Petri net with an isomorphic reachability graph. Even when just demanding an embedding into a reachability graph instead of an isomorphism, a solution is not guaranteed. In such a case, label splitting is an option, i.e. relabelling edges of the LTS such that differently labelled edges remain different. With an appropriate label splitting, we can always obtain a solution for the synthesis or embedding problem. Using the label splitting, we can construct a labelled Petri net with the intended bahaviour (e.g. embedding the given LTS in its reachability graph). As the labelled Petri net can have a large number of transitions, an optimisation may be desired, limiting the number of labels produced by the label splitting. We show that such a limitation will turn the problem from being solvable in polynomial time into an NP-complete problem.

Citations (7)

Summary

We haven't generated a summary for this paper yet.