Стандартный язык диаграмм последовательных сообщений MSC применяется для описания сценариев взаимодействия объектов. В частности, он используется для спецификации поведения в системах реального времени и телекоммуникационных протоколах.
В работе рассматриваются все конструкции MSC-диаграмм и их расширений в виде HMSC-диаграмм, за исключением концепций интерпретируемых данных и времени. Описаны алгоритмы трансляции конструкций MSC в раскрашенные сети Петри (CPN). Представлена программная система, реализующая эти алгоритмы. Приведены примеры трансляции, которые анализируются с помощью известной системы CPNTools.