TY  - RPRT
TI  - Formal Translation from Reversing Petri Nets to Coloured Petri Nets
AU  - Kamila Barylska
AU  - Anna Gogolinska
AU  - Lukasz Mikulski
AU  - Anna Philippou
AU  - Marcin Piatkowski
AU  - Kyriaki Psara
PY  - 2023
UR  - https://arxiv.org/abs/2311.00629
ID  - 2311.00629
ER  -