A methodology for mapping live sequence chart to coloured Petri net

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 what should happen for all execution of the system as well as the modeling of anti-scenarios. However, analysis and verification of system properties are not possible. In order to allow diagnosis of inconsistent specifications, besides simulation, verification and analysis should be considered. Therefore, the proposition of a CPN model for LSC allows verification and analysis of system described in LSC, hence, contributing for increasing designers´ confidence on the system development process and reducing risk that may lead to project failure.