TY - RPRT TI - A "Symbolic" Representation of Object-Nets (Extended Version) AU - Michael Köhler-Bussmeier AU - Lorenzo Capra PY - 2024 UR - https://arxiv.org/abs/2411.00149 ID - 2411.00149 ER -