Универсальная сеть Петри
Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мер...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2012 |
| 1. Verfasser: | Зайцев, Д.А. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84122 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
von: Зайцев, Д.А.
Veröffentlicht: (2012)
von: Зайцев, Д.А.
Veröffentlicht: (2012)
О гомоморфизме компонентной сети Петри
von: Лукьянова, Е.А.
Veröffentlicht: (2014)
von: Лукьянова, Е.А.
Veröffentlicht: (2014)
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)
Нечеткие объектно-ориентированные динамические сети. I
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2015)
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2015)
Нечеткие объектно-ориентированные динамические сети. II
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2016)
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2016)
Многомерное ранжирование с помощью эллиптического пилинга
von: Ляшко, С.И., et al.
Veröffentlicht: (2013)
von: Ляшко, С.И., et al.
Veröffentlicht: (2013)
Универсальная антикоррупционная программа «ключевой пост»
von: Авдеев, О.В.
Veröffentlicht: (2009)
von: Авдеев, О.В.
Veröffentlicht: (2009)
Универсальная система программ обработки тематических текстов
von: Мищенко, Н.М., et al.
Veröffentlicht: (2012)
von: Мищенко, Н.М., et al.
Veröffentlicht: (2012)
Сеть Кохонена с параллельным обучением
von: Дяченко, В.А., et al.
Veröffentlicht: (2009)
von: Дяченко, В.А., et al.
Veröffentlicht: (2009)
Универсальная аппроксимация кривых намагничивания электротехнических сталей
von: Пентегов, И.В., et al.
Veröffentlicht: (2006)
von: Пентегов, И.В., et al.
Veröffentlicht: (2006)
Музейная сеть Автономной Республики Крым
von: Стельмах, И.Ф.
Veröffentlicht: (2011)
von: Стельмах, И.Ф.
Veröffentlicht: (2011)
Универсальная климатическая камера для лабораторного содержания животных
von: Луценко, Н.А., et al.
Veröffentlicht: (1978)
von: Луценко, Н.А., et al.
Veröffentlicht: (1978)
Эвристический алгоритм для поиска наибольшего независимого множества
von: Плотников, А.Д.
Veröffentlicht: (2012)
von: Плотников, А.Д.
Veröffentlicht: (2012)
Универсальная система для измерения усилия-перемещения
von: Druzhinin, A. A., et al.
Veröffentlicht: (2006)
von: Druzhinin, A. A., et al.
Veröffentlicht: (2006)
Байесовская сеть — инструмент интеллектуального анализа данных
von: Терентьев, А.Н., et al.
Veröffentlicht: (2007)
von: Терентьев, А.Н., et al.
Veröffentlicht: (2007)
Исследование несинхронного включения генераторов в сеть
von: Лесник, В.А., et al.
Veröffentlicht: (2009)
von: Лесник, В.А., et al.
Veröffentlicht: (2009)
Объединенный клеточный метод умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
Новые клеточные методы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
Быстрый клеточный метод умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2008)
von: Елфимова, Л.Д.
Veröffentlicht: (2008)
Смешанный клеточный метод умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2009)
von: Елфимова, Л.Д.
Veröffentlicht: (2009)
Быстрые алгоритмы для базовой операции клеточных методов линейной алгебры
von: Елфимова, Л.Д.
Veröffentlicht: (2015)
von: Елфимова, Л.Д.
Veröffentlicht: (2015)
Новые быстрые гибридные алгоритмы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2011)
von: Елфимова, Л.Д.
Veröffentlicht: (2011)
Быстрые гибридные алгоритмы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2010)
von: Елфимова, Л.Д.
Veröffentlicht: (2010)
Универсальная модель как радикальная реформа современной науки
von: Сосницкий, А.В.
Veröffentlicht: (2014)
von: Сосницкий, А.В.
Veröffentlicht: (2014)
Универсальная программа анализа любых типов трехфазных обмоток
von: Самойлов, Г.А.
Veröffentlicht: (2003)
von: Самойлов, Г.А.
Veröffentlicht: (2003)
Искусственный интеллект и Универсальная гармоническая Методология Познания
von: Сосницкий, А.В.
Veröffentlicht: (2011)
von: Сосницкий, А.В.
Veröffentlicht: (2011)
Об инвариантности ключей относительно операций табличных алгебр
von: Редько, В.Н., et al.
Veröffentlicht: (2015)
von: Редько, В.Н., et al.
Veröffentlicht: (2015)
Корпоративная сеть корпоративных сетей Computer Sapiens
von: Брюхович, Е.И.
Veröffentlicht: (2009)
von: Брюхович, Е.И.
Veröffentlicht: (2009)
Конструирование и идентификация элементов жестовой коммуникации
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2013)
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2013)
Математические методы геоинформатики. III. Нечеткие сравнения и распознавание аномалий на временных рядах
von: Гвишиани, А.Д., et al.
Veröffentlicht: (2008)
von: Гвишиани, А.Д., et al.
Veröffentlicht: (2008)
Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
von: Гломозда, Д.К., et al.
Veröffentlicht: (2018)
von: Гломозда, Д.К., et al.
Veröffentlicht: (2018)
Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
von: Лялецкий, А.А.
Veröffentlicht: (2014)
von: Лялецкий, А.А.
Veröffentlicht: (2014)
Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)
von: Галкин, А.А.
Veröffentlicht: (2016)
Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
von: Марченко, А.А.
Veröffentlicht: (2016)
von: Марченко, А.А.
Veröffentlicht: (2016)
Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
von: Галкин, А.А.
Veröffentlicht: (2016)
von: Галкин, А.А.
Veröffentlicht: (2016)
Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
von: Марченко, А.А.
Veröffentlicht: (2016)
von: Марченко, А.А.
Veröffentlicht: (2016)
Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
von: Левитская, А.А.
Veröffentlicht: (2010)
von: Левитская, А.А.
Veröffentlicht: (2010)
Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
von: Галкин, А.А.
Veröffentlicht: (2016)
von: Галкин, А.А.
Veröffentlicht: (2016)
Ähnliche Einträge
-
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
von: Зайцев, Д.А.
Veröffentlicht: (2012) -
О гомоморфизме компонентной сети Петри
von: Лукьянова, Е.А.
Veröffentlicht: (2014) -
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015) -
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010) -
Нечеткие объектно-ориентированные динамические сети. I
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2015)