Сети Петри

Методическое пособие. Краснодар 2004г. 47-с. предназначен для студентов специальностей 220400,230105. ВВЕДЕНИЕ. ОСНОВНЫЕ ПОНЯТИЯ. Системы, процессы, сети. Формальное определение сети Петри. СВОЙСТВА СЕТЕЙ ПЕТРИ И ИХ АНАЛИЗ. Основные свойства сетей Петри. Проблемы ограниченности и безопасности. Проблемы Я- включения и Я-эквивалентности. РЕГУЛЯРНЫЕ И ИЕРАРХИЧЕСКИЕ СЕТИ. Алгебра регулярных сетей. Некоторые свойства регулярных сетей. Иерархические се...

Дослідження мереж Петрі Дві задачі. Перша задача: Розглянемо двох-процесорну обчислювальну систему, яка приведена на рис. 1 і складається з процесорів П1, П2, загальної оперативної пам'яті (ОП), ємністю 8 блоків, і дискової пам'яті-накопичувача на магнітних дисках (НМД). Рисунок 1 Кожній задачі, що надходить в систему, відводиться один блок ОП. Під час розв’язування задачі можуть бути звернення до НМД. Задані закони часу обробки задач в П1, П2...

Навчальний посібник з дисципліни «Математичне моделювання інформаційних систем» для підготовки магістрів у галузі зв’язку. Подано моделі, що вони відіграють ключову роль у комп'ютерних науках та теорії телекомунікацій: скінченні автомати, сітки Петрі, машини Тюринга. Викладено ос- новні теоретичні результати в означеній галузі, подано методи аналізу й синтезу си- стем, розглянуто області застосовування. Для закріплення знань наведено контроль- н...

Методичні вказівки до практичних занять і лабораторних робіт для підготовки магістрів з напрямку «Телекомунікації» Представлено завдання до практичних занять по вивченню основ теорії мереж Петрі, лабораторні роботи з практичного освоєння методів аналізу і синтезу мереж Петрі за допомогою комп'ютерних моделюючих систем Pndpi, Tina, Design/CPN, а також лабораторні роботи з проектування телекомунікаційних мереж і керуючих систем на основі мето...

Тезисы доклада // Материалы VI отчетной научно-практической конференции профессорско-преподавательского состава и студенчества, Международный гуманитарный университет, кафедра компьютерной инженерии, Одесса, 14-16 мая, 2010, c. 27-32. Построена универсальная ингибиторная сеть Петри, которая исполняет произвольную заданную ингибиторную сеть Петри. Граф ингибиторной сети Петри, ее маркировка и последовательность срабатывания переходов зашифрованы к...

М.: Наука, Главная редакция физико-математической литературы, 1984 — 160 с. OCR слой. Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их устройств, а также порождаемых вычислительных процессов, и используются для р...

М.: Наука, Главная редакция физико-математической литературы, 1984 — 158 с. Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их устройств, а также порождаемых вычислительных процессов, и используются для решения раз...

Л.: Наука, 1989. 135 с. OCR слой. Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры на маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета времени, способы моделирования конфликтных ситуаций. Рассматривается исполь...

Московский государственный институт электроники. и математики (технический университет). Кулагин В. П. Оглавление. Введение. Проблема анализа и синтеза структур параллельных вычислительных систем. Основные тенденции в развитие современных вычислительных систем. Современное состояние исследований. Методы формализованного описания структур вычислительных систем. Сетевые модели вычислительных систем. Модификации сетей Петри и их свойств. Свойства се...

Уфимск. гос. авиац. техн. ун-т, 2001. — 21 c. Методические указания к лабораторным работам по курсу ЛВС и распределенная обработка данных в банках для подготовки инженеров по специальностям 071900 «Информационные системы в экономике» и 351400 «Прикладная информатика в экономике». Содержатся основные сведения, необходимые для работы с программным продуктом, предназначенным для моделирования различного рода процессов с использованием аппарата сетей...

М.: Мир, 1984.— 264 с, ил. Пер. с англ. OCR слой. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов старших курсов втузов. Оглавление: Предисловие к русскому изданию Предисловие Введение Основные определения Сети Петри для моделирования Анализ сетей...

Москва: Мир, 1984. — 264 с. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов старших курсов втузов.

2011 г., 17 стр. Дисциплина - Компьютерное моделирование. Розфарбовані мережі Петрі. Клас мереж Петрі, реалізований в CPNTools. Призначення та основні функції CPN Tools. Інструменти СРN ТооIs. Мова опису моделей. Приклад розфарбованої мережі Петрі.

2010 г., 22 стр. Дисциплина - Компьютерное моделирование Теоретико-множественное представление сетей Петри Графическое представление сетей Петри Матричное представление сетей Петри Моделирование с помощью сетей Петри Примеры Практическая часть Описание решения задачи Графический материал