Универсальная сеть Петри
Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мер...
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: (2014)
von: Кузьмук, В.В., et al.
Veröffentlicht: (2014)
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)
Нечеткие объектно-ориентированные динамические сети. II
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2016)
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2016)
Нечеткие объектно-ориентированные динамические сети. I
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2015)
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2015)
Многомерное ранжирование с помощью эллиптического пилинга
von: Ляшко, С.И., et al.
Veröffentlicht: (2013)
von: Ляшко, С.И., et al.
Veröffentlicht: (2013)
Методы распознавания групповой принадлежности, основанные на доверительных границах, и их апробация в клинической онкологии
von: Петунин, Ю.И., et al.
Veröffentlicht: (2009)
von: Петунин, Ю.И., et al.
Veröffentlicht: (2009)
Универсальная антикоррупционная программа «ключевой пост»
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: Стельмах, И.Ф.
Veröffentlicht: (2011)
von: Стельмах, И.Ф.
Veröffentlicht: (2011)
Эвристический алгоритм для поиска наибольшего независимого множества
von: Плотников, А.Д.
Veröffentlicht: (2012)
von: Плотников, А.Д.
Veröffentlicht: (2012)
Универсальная система для измерения усилия-перемещения
von: Дружинин, А.А., et al.
Veröffentlicht: (2006)
von: Дружинин, А.А., et al.
Veröffentlicht: (2006)
Универсальная аппроксимация кривых намагничивания электротехнических сталей
von: Пентегов, И.В., et al.
Veröffentlicht: (2006)
von: Пентегов, И.В., et al.
Veröffentlicht: (2006)
Универсальная климатическая камера для лабораторного содержания животных
von: Луценко, Н.А., et al.
Veröffentlicht: (1978)
von: Луценко, Н.А., et al.
Veröffentlicht: (1978)
Быстрые гибридные алгоритмы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2010)
von: Елфимова, Л.Д.
Veröffentlicht: (2010)
Новые клеточные методы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
Новые быстрые гибридные алгоритмы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2011)
von: Елфимова, Л.Д.
Veröffentlicht: (2011)
Быстрые алгоритмы для базовой операции клеточных методов линейной алгебры
von: Елфимова, Л.Д.
Veröffentlicht: (2015)
von: Елфимова, Л.Д.
Veröffentlicht: (2015)
Смешанный клеточный метод умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2009)
von: Елфимова, Л.Д.
Veröffentlicht: (2009)
Быстрый клеточный метод умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2008)
von: Елфимова, Л.Д.
Veröffentlicht: (2008)
Объединенный клеточный метод умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
von: Елфимова, Л.Д.
Veröffentlicht: (2013)
Об инвариантности ключей относительно операций табличных алгебр
von: Редько, В.Н., et al.
Veröffentlicht: (2015)
von: Редько, В.Н., et al.
Veröffentlicht: (2015)
Универсальная система для измерения усилия-перемещения
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: Глибовец, Н.Н., et al.
Veröffentlicht: (2008)
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2008)
Конструирование и идентификация элементов жестовой коммуникации
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)
Корпоративная сеть корпоративных сетей Computer Sapiens
von: Брюхович, Е.И.
Veröffentlicht: (2009)
von: Брюхович, Е.И.
Veröffentlicht: (2009)
Универсальная модель как радикальная реформа современной науки
von: Сосницкий, А.В.
Veröffentlicht: (2014)
von: Сосницкий, А.В.
Veröffentlicht: (2014)
Искусственный интеллект и Универсальная гармоническая Методология Познания
von: Сосницкий, А.В.
Veröffentlicht: (2011)
von: Сосницкий, А.В.
Veröffentlicht: (2011)
Универсальная программа анализа любых типов трехфазных обмоток
von: Самойлов, Г.А.
Veröffentlicht: (2003)
von: Самойлов, Г.А.
Veröffentlicht: (2003)
Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
von: Галкин, А.А.
Veröffentlicht: (2016)
von: Галкин, А.А.
Veröffentlicht: (2016)
Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)
von: Галкин, А.А.
Veröffentlicht: (2016)
Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
von: Галкин, А.А.
Veröffentlicht: (2016)
von: Галкин, А.А.
Veröffentlicht: (2016)
Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
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: (2014) -
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)