@misc{indiciae2509bd3a8703, title = {The Complexity of Synthesis of \$b\$-Bounded Petri Nets}, author = {Ronny Tredup}, year = {2021}, url = {https://arxiv.org/abs/2106.15256}, note = {Source identifier: 2106.15256} }