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

Башкин В. А., Ломазова И. А.
   Эквивалентность ресурсов в сетях Петри / Башкин В. А., Ломазова И. А. - М. : Научный мир, 2008. - 206 с. - Библиогр.: с. 199-206. - ISBN 978-5-91522-002-6.

Аннотация

В книге рассмотрены отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для её наблюдаемого поведения в смысле бисимулярности. Вводятся и исследуются отношения эквивалентности,порождаемые подобием ресурсов. Приводятся алгоритмы построения множеств пар подобных ресурсов для обыкновенных сетей Петри и некоторых формализмов на их основе: сетей с невидимыми переходами, раскрашенных сетей и вложенных сетей Петри.
Книга предназначена для научных работников, преподавателей, аспирантов и студентов,интересующихся формальными моделями параллельных и распределенных систем.

УДК

519.711.74 Отдельные классы сетей

Предметные рубрики

• Петри сети

Общее кол-во в фондах

2 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313