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