TY  - RPRT
TI  - Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
AU  - Raymond Devillers
PY  - 2021
UR  - https://arxiv.org/abs/2111.00202
ID  - 2111.00202
ER  -