Вы здесь

Главная

сети петри

Связанные издания:

Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживаю их модели сетей Петри
Спецификация и моделирование распределенных информационных систем на основе сетей Петри
Способ построения раскрашенных сетей Петри, моделирую их Estelle-спецификации
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Стохастическо-детерминированные временные сети Петри как средство описания моделей многопроцессорных вычислительных систем
Структурированные сети
Структурированные сети Петри и их свойства
Структурная и параметрическая оптимизация на основе сетей Петри для совокупности измерительных систем с об им каналом наблюдения
Структурный анализ поведения непрерывно-временных сетей Петри
Теоретико-катерогная характеризация развертки временных сетей Петри
Теоретические и прикладные задачи информатики: новые подходы и решения: Труды школы-конкурса молодых ученых. Новосибирск, Академгородок, 25 мая - 15 июня 2003 года
Теория вычислений: Учебное пособие
Теория и методология программирования
Теория и методология программирования
Тестовые эквивалентности временных сетей Петри
Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри
Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция SDL-спецификаций распределенных систем в раскрашенные сети Йенсена
Трансляция SDL-спецификаций распределенных систем в раскрашенные сети Йенсена
Трансляция параллельных программ, описанных сетями Петри, в исполняемое представление
Универсальная сеть Петри
Управляю ие сети и микропрограммное моделирование параллельных процессов
Уравнения состояний и эквивалентные преобразования временных сетей Петри
Уравнения состояний стохастических временных сетей Петри с информационными связями
Формальные методы анализа дискретных систем с использованием языка спецификаций
Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов
Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов
Эквивалентности стохастических сетей Петри и алгебр стохастических процессов
Эквивалентностные понятия для моделей параллельных и распределенных систем