Подробное описание документа

Лескин А. А., Мальщев П. А., Спиридонов А. М.
   Сети Петри в моделировании и управлении / Лескин А. А., Мальщев П. А., Спиридонов А. М. ; Академия наук СССР, Ленинградский институт информатики и автоматизации ; отв. ред. Пономарев В. М. - Л. : Наука, Ленинградское отделение, 1989. - 135 с. : рис. - Библиогр.: с. 130-132. - ISBN 5-02-024462-7.

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