Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовуватидовільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується як строга.
