TY  - RPRT
TI  - Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues
AU  - Raymond Devillers
AU  - Ronny Tredup
PY  - 2022
UR  - https://arxiv.org/abs/2112.03605
ID  - 2112.03605
ER  -