Башкин В.А., Ломазова И.А. - Эквивалентность ресурсов в сетях Петри

«Эквивалентность ресурсов в сетях Петри» / В.А. Башкин, Ломазова И.А./ – Москва, Научный мир, 2008. – 208 с. /ISBN 978-5-91522-002-6/ - книга рассматривает отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для ее наблюдаемого поведения в смысле бисимулярности с разбором конечного представления отношений и подобия ресурсов.

Детально разобраны сужения и расширения подобия ресурсов; вводятся и исследуются отношения эквивалентности, порождаемые этим подобием; приводятся алгоритмы построения множеств пар подобных ресурсов для обыкновенных сетей Петри и некоторых формализмов на их основе - сетей с невидимыми переходами, раскрашенных сетей и вложенных сетей Петри.

Детально рассмотрены некоторые другие классы формальных моделей: сети Петри с невидимыми переходами, сети Петри высокого уровня и вложенные сети Петри.

Особо описано применение эквивалентностей ресурсов (оптимизация модели, управление на основе подобия обобщенных ресурсов, управление в условиях ограниченного времени на основе расслоенного подобия).

Книга будет полезной для научных сотрудников, преподавателей, студентов и аспирантов, изучающих формальные модели параллельных и распределенных систем.