Анализ графа модели Керка

После фиксации совокупности и каналов у проектировщика имеется несколько возможностей для реализации проекта.

Рассмотрим влияние изменения типа и функции каналов на поведение проектируемой системы. На рис. 2.4 изображено поведение регулятора с тремя разными множествами каналов:

- множество каналов А; здесь К1, К2, К3, К4 – каналы Петри с функциями [0, 0], К5 – нулевой канал, К6 – асинхронный канал, К7 – синхронный канал с функцией [1, 1];

- множество каналов В; здесь К1, К2, К3, К4, К6, К7 – синхронные каналы с функцией [1, 1], К5 – нулевой канал;

- множество каналов С; здесь К1, К2, К3, К4, К6 – синхронные каналы с функцией [0, 0], К5 – нулевой канал, К7 – синхронный канал с функцией [1, 1].

Рис.2. 4. Варианты временных диаграмм работы регулятора:

а – для множества каналов А; в – для множества каналов В;
с – для множества каналов С

Соответствующие временные диаграммы представлены на рис. 2.4 а, 2.4 б, 2.4 в. При этом времена выполнения процессов приняты одинаковыми.

Из сравнения диаграмм очевидны следующие выводы.

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

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

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