BPMN Formalisation using Coloured Petri Nets. - Ramadan, Mohamed; Elmongui, Hicham G.; Hassan, Riham (Annual International Conference on Software Engineering & Applications, 2011)