OpenAlex
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Work