Содержание
7 отношения: WF-сети, Конечный автомат, Петри, Карл Адам, Система массового обслуживания, Модель акторов, Имитационное моделирование, Двудольный граф.
- Диаграммы
- Модели вычислений
- Языки формальных спецификаций
WF-сети
WF-сети — подкласс сетей Петри, называемый также сетями потоков работ.
Посмотреть Сети Петри и WF-сети
Конечный автомат
Коне́чный автома́т — абстрактный автомат, число возможных внутренних состояний которого конечно.
Посмотреть Сети Петри и Конечный автомат
Петри, Карл Адам
Карл Адам Петри (Carl Adam Petri; 12 июля 1926 — 2 июля 2010) — немецкий математик и исследователь в области информатики.
Посмотреть Сети Петри и Петри, Карл Адам
Система массового обслуживания
Система массового обслуживания (СМО) — система, которая производит обслуживание поступающих в неё требований.
Посмотреть Сети Петри и Система массового обслуживания
Модель акторов
В компьютерных науках моде́ль а́кторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на получаемые сообщения актор может принимать локальные решения, создавать новые акторы, посылать свои сообщения, а также устанавливать, как следует реагировать на последующие сообщения.
Посмотреть Сети Петри и Модель акторов
Имитационное моделирование
Имитационное моделирование или ситуационное моделирование (simulation modeling) — метод исследования, при котором изучаемая система заменяется моделью, с достаточной точностью описывающей реальную систему (построенная модель описывает процессы так, как они проходили бы в действительности), с которой проводятся эксперименты, с целью получения информации об этой системе.
Посмотреть Сети Петри и Имитационное моделирование
Двудольный граф
Двудольный граф Двудо́льный граф или бигра́ф — это математический термин теории графов, обозначающий граф, множество вершин которого можно разбить на две части таким образом, что каждое ребро графа соединяет какую-то вершину из одной части с какой-то вершиной другой части, то есть не существует ребра, соединяющего две вершины из одной и той же части.
Посмотреть Сети Петри и Двудольный граф
См. также
Диаграммы
- BPMN
- DFD
- FBD
- PERT
- Specification and Description Language
- Swim lane
- UML
- Бабочка (БПФ)
- Бинарная диаграмма решений
- Блок-схема
- Бондграф
- Витрувианский человек
- Граф интересов
- Диаграмма
- Диаграмма Венна
- Диаграмма Ганта
- Диаграмма Герцшпрунга — Рассела
- Диаграмма Максвелла — Кремоны
- Диаграмма Насси — Шнейдермана
- Диаграмма Хассе
- Диаграмма Эйлера
- Диаграмма связей
- Диаграмма состояний (теория автоматов)
- Диаграммы Фейнмана
- Индикаторная диаграмма
- Карта Карно
- Карта аргументов
- Кинематическая цепь
- Кладограмма
- Коммутативная диаграмма
- Коннектом
- Номограмма
- Пингвин-диаграмма
- Принципиальная кинематическая схема
- Принципиальная схема
- Сеть Петри
- Сигнальное созвездие
- Синтаксическая диаграмма
- Спиновая сеть
- Структурная схема
- Тематическая карта
- Термодинамическая диаграмма
- Фазовая диаграмма
- Функциональная схема
- Шахматная диаграмма
- Эпюра
Модели вычислений
- CARDboard Illustrative Aid to Computation
- P′′
- URISC
- Абстрактный автомат
- Автомат Мили
- Автомат с магазинной памятью
- Агентное моделирование
- Аппликативные вычислительные системы
- Бильярдный компьютер
- Биокомпьютер
- Вероятностная машина Тьюринга
- Вычисления с памятью
- ДНК-компьютер
- Диаграмма состояний (теория автоматов)
- Категориальная абстрактная машина
- Лямбда-исчисление
- Машина Зенона
- Машина Поста
- Машина Тьюринга
- Модель вычислений
- Нормальный алгоритм
- Обратимые вычисления
- Оптический компьютер
- Сеть Петри
- Сеть процессов Кана
- Состояние (информатика)
- Теорема Бёма — Якопини
- Тьюрмиты
Языки формальных спецификаций
- E-LOTOS
- Eiffel
- Specification and Description Language
- TLA⁺
- Z-нотация
- Семантика (программирование)
- Сеть Петри
- Формальная спецификация
Также известен как Петри сеть.