Formal Translation from Reversing Petri Nets to Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

Browse the full RC paper archive.