Нет отзывов
Аннотация
| Издательство | |
|---|---|
| Переплет | Твёрдый переплёт |
| Страниц | 208 |
| Год, тираж | 2020, 500 экз. |
Не в наличии
Отзывы
0Описание и характеристики
В книге рассмотрены отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для ее наблюдаемого поведения в смысле бисимулярности. Вводятся и исследуются отношения эквивалентности, порождаемые подобием ресурсов. Приводятся алгоритмы построения множеств пар подобных ресурсов на их основе: сетей с невидимыми переходами, раскрашенных сетей и вложенных сетей Петри.
Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными моделями параллельных и распределенных систем.
| Код | 2784883 |
|---|---|
| Издательство | |
| Переплет | Твёрдый переплёт |
| Кол-во страниц | 208 |
| Год издания | 2020 |
| Тираж | 500 экз. |
| ISBN | 9000027848839 |
| Раздел | Технические науки |
| Размеры | 1.6 см × 15.1 см × 21.7 см |
| Вес | 0.38 кг |