This paper presents a methodology for mapping the live sequence chart (LSC) language to an equivalent coloured Petri net (CPN) model LSC is a language for system specification, allowing one to specify ...