§1. Постановка задачи

Целью расчетно-графического задания является получение опыта в конструировании метамодели «асинхронный процесс» и модели «сеть Петри» и исследовании их свойств.

На примере вычислительного процесса, протекающего в машине при звукозаписи с микрофона (в общем случае может подключаться любое MIDI-устройство):

- построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;

- выполнить операции над процессом: репозиция, редукция, композиция, и оценить полученные результаты с практической точки зрения;

- построить предметную интерпретацию метамодели на основе сети Петри и сделать вывод о динамических характеристиках исходного процесса.