TY  - RPRT
TI  - Hardness Results for the Synthesis of $b$-bounded Petri Nets (Technical Report)
AU  - Ronny Tredup
PY  - 2019
UR  - https://arxiv.org/abs/1904.01094
ID  - 1904.01094
ER  -