TY  - RPRT
TI  - Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete
AU  - Uli Schlachter
AU  - Harro Wimmel
PY  - 2020
UR  - https://arxiv.org/abs/2002.04841
ID  - 2002.04841
ER  -