TY - RPRT TI - The Complexity of Synthesis of $b$-Bounded Petri Nets AU - Ronny Tredup PY - 2021 UR - https://arxiv.org/abs/2106.15256 ID - 2106.15256 ER -