Зображення обкладинки

Универсальная сеть Петри

Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мер...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2012
Автор:	Зайцев, Д.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2012
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/84122
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
за авторством: Зайцев, Д.А.
Опубліковано: (2012)

О гомоморфизме компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

Моделирование сердечной деятельности на основе сетей Петри
за авторством: Кузьмук, В.В., та інші
Опубліковано: (2014)

Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
за авторством: Зайцев, Д.А., та інші
Опубліковано: (2010)

Нечеткие объектно-ориентированные динамические сети. II
за авторством: Терлецкий, Д.А., та інші
Опубліковано: (2016)

Нечеткие объектно-ориентированные динамические сети. I
за авторством: Терлецкий, Д.А., та інші
Опубліковано: (2015)

Многомерное ранжирование с помощью эллиптического пилинга
за авторством: Ляшко, С.И., та інші
Опубліковано: (2013)

Методы распознавания групповой принадлежности, основанные на доверительных границах, и их апробация в клинической онкологии
за авторством: Петунин, Ю.И., та інші
Опубліковано: (2009)

Универсальная антикоррупционная программа «ключевой пост»
за авторством: Авдеев, О.В.
Опубліковано: (2009)

Универсальная система программ обработки тематических текстов
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2012)

Сеть Кохонена с параллельным обучением
за авторством: Дяченко, В.А., та інші
Опубліковано: (2009)

Эвристический алгоритм для поиска наибольшего независимого множества
за авторством: Плотников, А.Д.
Опубліковано: (2012)

Музейная сеть Автономной Республики Крым
за авторством: Стельмах, И.Ф.
Опубліковано: (2011)

Универсальная система для измерения усилия-перемещения
за авторством: Дружинин, А.А., та інші
Опубліковано: (2006)

Универсальная аппроксимация кривых намагничивания электротехнических сталей
за авторством: Пентегов, И.В., та інші
Опубліковано: (2006)

Быстрые гибридные алгоритмы умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2010)

Новые клеточные методы умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2013)

Новые быстрые гибридные алгоритмы умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2011)

Быстрые алгоритмы для базовой операции клеточных методов линейной алгебры
за авторством: Елфимова, Л.Д.
Опубліковано: (2015)

Смешанный клеточный метод умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2009)

Быстрый клеточный метод умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2008)

Объединенный клеточный метод умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2013)

Универсальная климатическая камера для лабораторного содержания животных
за авторством: Луценко, Н.А., та інші
Опубліковано: (1978)

Об инвариантности ключей относительно операций табличных алгебр
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2008)

Конструирование и идентификация элементов жестовой коммуникации
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2013)

Математические методы геоинформатики. III. Нечеткие сравнения и распознавание аномалий на временных рядах
за авторством: Гвишиани, А.Д., та інші
Опубліковано: (2008)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)

Универсальная система для измерения усилия-перемещения
за авторством: Druzhinin, A. A., та інші
Опубліковано: (2006)

Байесовская сеть — инструмент интеллектуального анализа данных
за авторством: Терентьев, А.Н., та інші
Опубліковано: (2007)

Исследование несинхронного включения генераторов в сеть
за авторством: Лесник, В.А., та інші
Опубліковано: (2009)

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
за авторством: Галкин, А.А.
Опубліковано: (2016)

Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
за авторством: Галкин, А.А.
Опубліковано: (2016)

Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
за авторством: Галкин, А.А.
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
за авторством: Марченко, А.А.
Опубліковано: (2016)

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
за авторством: Лялецкий, А.А.
Опубліковано: (2014)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
за авторством: Левитская, А.А.
Опубліковано: (2010)

Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
за авторством: Марченко, А.А.
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
за авторством: Марченко, А.А.
Опубліковано: (2016)