Питерсон Дж. - Теория сетей Петри и моделирование систем :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/26090
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 13:32:07 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

Питерсон Дж. - Теория сетей Петри и моделирование систем

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Теория сетей Петри и моделирование систем

Автор: Питерсон Дж.

Аннотация:

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

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1984

Количество страниц: 264

Добавлена в каталог: 09.10.2007

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

P-операция      69 70 211-213
P/V-системы      69 211-213
V-операция      69-70 211-213
Автомат      44-49 207 208
Активность      85
Алфавит      150
Арифметика Пресбюргера      147
Асинхронность      40
Безопасность      79 98-100
Блок функциональный кратный      54
Блок-схема      57
Блок-схема абстрактная      57
Вектор проверки      228
Вершина граничная      92
Вершина дублирующая      93
Вершина терминальная      92
Взвешивание      82
Выполнение сети Петри      24-28
Вычисление слабое      133-139
Гомоморфизм      173
Грамматика коммутативная      182
Граф UCLA      223 242
Граф вычислений      208-211
Граф маркированный      200 239 241
Граф полиномов      132
Граф сети Петри      18
Дерево достижимости      90-106
Детерминированность      55
Дополнение      170
Достижимость      87-89
Дуга сдерживающая      191
Е-выражение      149 248
Е-сети      253 254
Задача достижимости      87-89 118
Задача достижимости нуля      118
Задача достижимости нуля в одной позиции      118
Задача достижимости подмаркировки      118
Задача неразрешимая      115
Задача о включении графов поликомов      132
Задача о курильщиках сигарет      188
Задача о производителе/потребителе      65-67
Задача о чтении/записи      68 69
Задача об активности      126
Задача об активности одного перехода      126
Задача об исключении взаимном      63-65
Задача об обедающих мудрецах      67 68
Задача подмножества      114
Задача покрываемости      87-89
Задача равенства      114
Задача эквивалентности      116
Замкнутости свойство      158 162-173
Запуск перехода      24 25
Звезда Клини      170
Значение пороговое      209
Исключение взаимное      64
Класс маркировок      31
Класс обратных маркировок      31
Класс прямых маркировок      31
Кольцо позиций      124
Комплект позиций      15 16
Композиция параллельная      51 165
Композиция повторная      170-173
Компонент      10
Конкатенация      163 164
Конкатенация бесконечная      170
Конфликт      43 44
Кратность позиций      16
Кружок      17
Ловушка      202
Логика И      186
Маркировка      202
Маркировка достижимая      29
Маркировка непосредственно достижимая      29
Машина регистровая      197
Множество достижимости      29 30
Множество достижимости для системы сложения векторов      227
Моделирование      9
Модель      9
Модель эквивалентная      207
Мощность комплекта      232
Мощность моделирования      185
Мощность разрешения      185
Мультиграф      18 21
Область      233
Область ограничения      185
Обработка конвейерная      49-54
Обращение      169 170
Объединение      164
Ограниченность      81
Одновременность      40-44 61 62
Оптимизация      148-149
Отображение Париха      107 233
Параллелизм      10 40-44 61-62
Переключатель      186
Пересечение      167-169
Переход      15
Переход активный      86
Переход исключающего ИЛИ      186
Переход пассивный      86
Переход разрешенный      24
Переход, потенциально запустимый      86
Планка      17

Подклассы сетей Петри      199-204
Подкомплект      232
Подстановка      173
Подстановка конечная      173
Позиция      15
Позиция k-безопасная      81
Позиция k-ограниченная      81
Позиция безопасная      79
Позиция входная      15
Позиция выходная      15
Позиция достижимая      29
Позиция начальная      151
Позиция ограниченная      81
Покрываемость      87-89
Полнота      188
Помечение      152
Последовательность запусков      89
Последовательность маркировок      29
Последовательность переходов      29
Постусловие      36
Предусловие      36
Приоритет      190
Проблема Гильберта десятая      130 240
Проверка на нулевую маркировку      191
Пространство состояний моделей параллельных вычислений      206
Пространство состояний сетей Петри      28-33
Процесс канальный      214
Процесс программный      214
Пучок дуг      21 22
Сводимость      114-118
Секция критическая      64
Сеть Петри      15
Сеть Петри автоматная      200 205
Сеть Петри без петель      122
Сеть Петри безопасная      79
Сеть Петри вполне оканчивающаяся      172
Сеть Петри двойственная      20
Сеть Петри инверсная      22
Сеть Петри маркированная      23
Сеть Петри нерефлексивная      122
Сеть Петри обратимая      146
Сеть Петри ординарная      122
Сеть Петри помеченная      154
Сеть Петри правильная      204
Сеть Петри простая      122 123
Сеть Петри расширенная      197
Сеть Петри с ограничениями      122-126
Сеть Петри свободно-помеченная      152
Сеть Петри со свободным выбором      202
Сеть Петри сохраняющая      82
Сеть Петри строго сохраняющая      82
Сеть Петри эквивалентная      148
Синхронизация      11 63
Система замещения векторов      228
Система передачи сообщений      213-221 257
Система сложения векторов      227
Сложность алгоритма      117
Событие      36
Событие мгновенное      41
Событие неодновременное      41
Событие непримитивное      42
Событие примитивное      41
Совмещенность      10
Сообщение      214
Состояние      10 28
Состояние начальное      151
Состояние тупика      67
Степень      223
Строка      150
Строка пустая      150
Сумма взвешенная      82
Таблица резервирования      55
Теория разрешимости      115
Теория сетей Петри прикладная      13
Теория сетей Петри чистая      13
Теория формальных языков      150
Тупик      203 208
Уравнение диофантово      131
Уравнение матричное      106-111
Уровень активности      86
Условие      36
Фишка      22
Фишка окрашенная      35 204 205
Фишка разрешающая      24
Формы определения сетей Петри альтернативные      33
Функция входная      15
Функция входная расширенная      16
Функция выходная      15
Функция выходная расширенная      16
Функция следующего состояния      28 29
Функция следующего состояния расширенная      30
Цикл      201
Член комплекта      231
Язык контекстно-свободный      174-177
Язык контекстно-свободный ограниченный      177 178
Язык контекстно-связанный      178-181
Язык моделирования программных процессов      214
Язык регулярный      174
Язык сети Петри G-типа      152 153
Язык сети Петри L-типа      152 153
Язык сети Петри P-типа      152 153
Язык сети Петри T-типа      152 153

О проекте