https://123dok.net/document/z1d39k4d-synthesis-problem-elementary-net-systems-np-complete.html