TY - RPRT TI - Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach AU - Raymond Devillers AU - Evgeny Erofeev AU - Thomas Hujsa PY - 2019 UR - https://arxiv.org/abs/1911.00474 ID - 1911.00474 ER -