Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. - Étienne André; Mohamed Mahdi Benmoussa; Christine Choppy (ESSS, 2014)

Formalising concurrent UML state machines using coloured Petri nets. - Étienne André; Mohamed Mahdi Benmoussa; Christine Choppy (Formal Aspects Comput., 2016)