https://123dok.net/document/yr322lpy-periodic-scheduling-of-marked-graphs-using-balanced-binary-words.html