§6. Заключение

Целью этой работы является получение опыта по построению метамодели «асинхронный процесс» и ее модельной интерпретации в виде «сети Петри», а также по исследованию их свойств.

На основе реального физического процесса - оцифровки звука на компьютере (звукозаписи) - была построена метамодель асинхронный процесс «Звукозапись» P, над ней были проведены операции репозиции, редукции и композиции процессов P и вспомогательного процесса P3 «Подготовка к звукозаписи». Действия по составлению метамодели сопровождены семантическими пояснениями. Проведен анализ свойств данного асинхронного процесса.

Важной частью работы является построение сети Петри по данному асинхронному процессу на основе структуры и логики поведения процесса. С помощью этого инструмента изучены динамика и принципы функционирования компонентов сети, а следовательно и компонентов процесса.