https://123dok.net/document/zgw3jg16-synthesis-weighted-marked-graphs-circular-labelled-transition-systems.html