Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy. Formalising Concurrent UML State Machines Using Coloured Petri Nets. In Viet Ha Nguyen, Anh-Cuong Le, Van-Nam Huynh, editors, Knowledge and Systems Engineering - Proceedings of the Sixth International Conference KSE 2014, Hanoi, Vietnam, 9-11 October 2014. Volume 326 of Advances in Intelligent Systems and Computing, pages 473-486, Springer, 2014. [doi]
Abstract is missing.