Рассмотренны темы.
Активность сетей Петри. Задача о чтении/записи.
Достижимость и покрываемость сетей Петри. Пример.
Конечные автоматы.
Ограниченность сетей Петри. Задача об обедающих мудрецах.
Сохранение сетей Петри. P- и V- системы. Пример.
Безопасность сетей Петри. Задача о взаимном исключении.
Использование сетей Петри для моделирования процессов синхронизации. Задача...
Рассмотрена и решена задача о трех мудрецах в Сетях Петри.
Задача
За круглым столом сидит шесть мудрецов, перед ними стоят японские блюда. На столе лежат 6 японских палочек – по одной между каждыми двумя соседними мудрецами. Каждый из мудрецов берет палочку, лежащую слева. Но для того, чтобы отведать блюдо, нужны две палочки. Следовательно, каждому из мудрецов приходится ждать,...
Московский государственный институт электроники.
и математики (технический университет).
Кулагин В. П.
Оглавление.
Введение.
Проблема анализа и синтеза структур параллельных вычислительных систем.
Основные тенденции в развитие современных вычислительных систем.
Современное состояние исследований.
Методы формализованного описания структур вычислительных систем.
Сетевые...
Комментарии