TY  - RPRT
TI  - 1-Safe Petri nets and special cube complexes: equivalence and applications
AU  - Jérémie Chalopin
AU  - Victor Chepoi
PY  - 2019
DO  - 10.1145/3322095
UR  - https://arxiv.org/abs/1810.03395
ID  - 1810.03395
ER  -