Formal translation from reversing Petri nets to coloured Petri nets

From MaRDI portal
Publication:2097427