Добавлен пользователем Akim Onoke, дата добавления неизвестна
Описание отредактировано
Предлагаются примеры задач для моделирования сетей Петри для различных областей применения. Особенно удачно решена задача "О пяти мудрецах", которых, по нашему мнению, мы спасли от голода. На обложке книги Питерсона данная задача решена неверно. Предлагается визуальное решение данной задачи. Успехов, Аким.
Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
Пер. с англ. Б. И. Копылова. — М.: Лаборатория базовых знаний, 2002. — 832 с. — ISBN 5-93208-119-8. В книге излагаются методы анализа и синтеза современных систем автоматического управления (САУ). Показано, как с использованием принципа обратной связи могут быть созданы высокоэффективные системы управления различного назначения (аэрокосмическая техника, промышленные работы,...
Учебное пособие. - Одесса: ОНАС им. А. С. Попова, 2004. - 40 с.
Представлены модели, которые играют ключевую роль в компьютерных науках и теории телекоммуникаций: конечные автоматы, сети Петри, машины Тюринга. Изложены основные теоретические результаты в обозначенной области, представлены методы анализа и синтеза систем, рассмотрены области применения. Для закрепления знания...
Метод. указания к практическим занятиям и лаб. работам. - Одесса: ОНАC им. А.С.Попова, 2007. - 42 с. Представлены задачи к практическим занятиям по изучению основ теории сетей Петри, лабораторные работы по практическому освоению методов анализа и синтеза сетей Петри с помощью компьютерных моделирующих систем PnDPI, Tina, Design/CPN (CPN Tools), а также лабораторные работы по...
Архив файла содержит программное обеспечение HPSim со вложенными примерами решенных задач. Пакет отличается хорошим качеством исполнения, легкостью в использовании, дружественным интерфейсом, отличной визуализацией происходящей имитации. Приятной работы с сетями Петри в HPSim!
Рассмотренны темы.
Активность сетей Петри. Задача о чтении/записи.
Достижимость и покрываемость сетей Петри. Пример.
Конечные автоматы.
Ограниченность сетей Петри. Задача об обедающих мудрецах.
Сохранение сетей Петри. P- и V- системы. Пример.
Безопасность сетей Петри. Задача о взаимном исключении.
Использование сетей Петри для моделирования процессов синхронизации. Задача...
М.: Мир,
1984. - 264 с., ил.
Перевод с английского языка книги James L. Peterson - Petri net theory and the modeling of systems.
В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации.
Для научных работников, аспирантов и студентов...
