TY  - RPRT
TI  - Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond
AU  - Raymond Devillers
AU  - Evgeny Erofeev
AU  - Thomas Hujsa
PY  - 2019
UR  - https://arxiv.org/abs/1910.14387
ID  - 1910.14387
ER  -