TY  - RPRT
TI  - On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
AU  - Raymond Devillers
AU  - Ronny Tredup
PY  - 2023
DO  - 10.46298/fi.9231
UR  - https://arxiv.org/abs/2203.09233
ID  - 2203.09233
ER  -