A methodology for mapping live sequence chart to coloured Petri net. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (SMC, 2005)

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (ACM SIGSOFT Softw. Eng. Notes, 2006)