Масштабирование систем взаимодействующих процессов

[Константин Савенков]

На основе алгоритмов, по которым выполняется масштабирование моделей на языке ММ, и на основе средства, которое такое масштабирование выполняет, реализовать (предварительно разработав теорию) инструментальное средство для языка muCRL или какого-то другого.