TY - RPRT TI - Synthesis of Pure and Impure Petri nets With Restricted Place-environments: Complexity Issues AU - Raymond Devillers AU - Ronny Tredup PY - 2022 UR - https://arxiv.org/abs/2112.03608 ID - 2112.03608 ER -