ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА I. НЕКОТОРЫЕ АСПЕКТЫ ТЕОРИИ СЕТЕЙ И ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
1.1. Состояние и переход
1.2. Сеть
1.3. Система условиясобытия СЕ и процессы
ГЛАВА 1 ПОСЛЕДОВАТЕЛЬНОСТЬ СРАБАТЫВАНИЙ ПЕРЕХОДОВ В СЕТЯХ И СВЯЗАННЫЕ С НЕЙ ПРОБЛЕМЫ
II.I. Предикатное выражение и поведение сетей Петри П.1.1. Основные определения
1.1.1. Предикатное выражение и язык
1.1.2. Расширение проекции и синхронизация предикатов
II.I.2. Сеть Петри и ее поведение
1.2.1. Сеть Петри
1.2.2. Композиция сети и ее процесс
1.2.3. Разложение системы и поведения атомарной сети
1.2.4. Поведение сети
II.II. Последовательности срабатываний переходов в сетях Петри и параллелизм внутри них .II.1. Причинная зависимость
П.П.2. Информация реальной конкуренции в последовательности срабатываний переходов сети Петри
ГЛАВА III. РАСПРЕДЕЛЕННАЯ СИСТЕМА ВЫЧИСЛЕНИЙ.
Введение
.. Некоторые определения и понятия
1.1. Вычисление распределенных систем
1.2. Временные часы и их некоторые свойства
1.2.1. Логические часы
1.2.2. Векторные часы и их свойства
А. Описание
Б. Свойство векторных часов
1.3. Методы описания распределенных систем
1.3.1. Взгляд пространствовремя
1.3.2. Вид интерливинга
1.4. Глобальное состояние распределенной системы.
1.4.1. Временная логика
. Модель
Б. Семантика
. Некоторые временные операторы
Г. Некоторые временные свойства программы
1.4.2. Глобальное состояние распределенных систем
1.4.2.1. Временное сечение
1.4.2.2. Глобальное состояние
1.4.3. Алгоритм БпарэБоз
1.4.3.1. Описание
1.4.3.2. Некоторые применения
1 Распределенная система вычисления
П.1. Распределенная система вычисления и ее размеченная переходная система
.1.1. Определения и свойства П. 1.2. Пример
.2, Глобальная информация распределенных систем вычислений
.2.1. Глобальная информация в процессах системы
.2.2. Алгоритм сохранения глобальной информации системы в локальном состоянии процесса
II.3. Моделирование горных технологических процессов
.3.1. Технологический процесс обмена вагонеток в надшахтных зданиях
.3.2. Модель сети Петри процесса обмена вагонеток
ВВЕДЕНИЕ
Актуальность
- Київ+380960830922