https://123dok.net/document/q5medjjy-when-to-move-to-transfer-nets-on-the-limits-of-petri-nets-as-models-for-process-calculi.html