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

Browse the full SMC paper archive.