Message Sequence Charts (MSCs) is a graphical description language for interaction scenarios standardized by the International Telecommunication Union (ITU). In particular, it is used for describing communication behaviors in real-time and telecommunication systems.
This paper presents a translation method from MSC and High-level MSC (HMSC) into Coloured Petri Nets and its implementation. Transformation rules for MSC elements cover the entire MSC standard, except data and time concepts. A software system that implements these algorithms is presented. Illustrated examples of translation are analyzed in the known CPNTools system.