Buchumschlag

Связь сетей Петри с бесскобочной польской записью

Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены та...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Системні дослідження та інформаційні технології
Datum:	2016
1. Verfasser:	Статкевич, В.М.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
Schlagworte:	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/134009
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:	Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Моделирование Grid-узла на основе сетей Петри
von: Шелестов, А.Ю.
Veröffentlicht: (2009)

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

Построение математических моделей управляемых сетей поставок с учетом запаздываний потоков
von: Дорофеев, Ю.И., et al.
Veröffentlicht: (2013)

Расчет характеристик смешанной системы обслуживания с резервированием каналов
von: Меликов, А.З., et al.
Veröffentlicht: (2008)

Оценка статистических свойств последовательностей на выходе комбинационного генератора с помощью графических тестов
von: Лавданский, А.А., et al.
Veröffentlicht: (2015)

Использование аппарата идемпотентных алгебр для анализа процессов в сети с предоставлением интегрированных услуг
von: Бессараб, В.И., et al.
Veröffentlicht: (2011)

Задача построения допустимого расписания с максимально поздним моментом запуска и минимальным суммарным опережением
von: Згуровский, М.З., et al.
Veröffentlicht: (2015)

Общая модель и методы иерархического планирования функционирования сложных организационно-производственных систем с ограниченными ресурсами
von: Павлов, А.А., et al.
Veröffentlicht: (2005)

Метод динамічних характеристик в задачі автентифікації. Фрактальні структури в біометриці
von: Рифа, В.М.
Veröffentlicht: (2007)

Неасимптотические оценки еффективности случайного кодирования в системе передачи информации по двоичному симметричному каналу связи с отводом
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2011)

Принципи створення автоматизованої системи експертної оцінки тарифів на послуги водопостачання та водовідведення
von: Анпілогов, П.І., et al.
Veröffentlicht: (2008)

Алгоритм побудови оптимальних пар фільтрів кодування і відновлення, адаптивних до функції багатьох змінних
von: Лигун, А.О., et al.
Veröffentlicht: (2009)

Моделювання та апроксимація залежності струму електронної гармати високовольтного тліючого разряду від напруги на обмотці електромагнітного натікача як елемента газодинамічної системи керування
von: Мельник, І.В., et al.
Veröffentlicht: (2016)

Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем: IV. Інтерактивне оцінювання
von: Поліщук, Д.О., et al.
Veröffentlicht: (2016)

Ситуаційно-індуктивне моделювання в задачах екстраполяційного прогнозування за даними моніторингу
von: Стефанишин, Д.В.
Veröffentlicht: (2016)

Аналіз особливостей моделювання електронних схем у програмному комплексі Simulink на прикладі транзисторного підсилювача
von: Мельник, І.В.
Veröffentlicht: (2016)

Індикатор могутності держави – важливий інструмент системного анализу та стратегічного планування у сфері національної безпеки
von: Качинський, А.Б., et al.
Veröffentlicht: (2016)

Процессно-ориентированное проектирование программных комплексов как систем сервисов
von: Петренко, А.И.
Veröffentlicht: (2016)

Генетический алгоритм защиты SDN от сетевых атак
von: Забелин, С.И.
Veröffentlicht: (2016)

Сучасні тенденції в автоматизації промислових комплексів
von: Святний, В.А., et al.
Veröffentlicht: (2016)

Перспективи реалізації вбудованих систем автоматичного розпізнавання мови на базі RISC-мікроконтролерів
von: Мартинюк, І.A.
Veröffentlicht: (2016)

Вероятностный подход к оценке перспективности покупки бизнеса конкретным инвестором
von: Зак, Ю.А.
Veröffentlicht: (2016)

Інструментальні засоби створення конструктивних креслень геологічних розрізів
von: Тарнавський, Ю.А.
Veröffentlicht: (2016)

Застосування онтологічного анализу для оцінювання компетентності фахівців з розроблення національних стандартів
von: Гладун, А.Я., et al.
Veröffentlicht: (2016)

Про двокритеріальну оптимізацію портфеля акцій
von: Гаращенко, Ф.Г., et al.
Veröffentlicht: (2017)

Использование информации о стоимости тестов и серьезности ошибок в процессе приоритезации тестов
von: Малышевский, А.Г.
Veröffentlicht: (2008)

Умова стійкості системи обслуговування GI/G/1 з T-поверненням заявок
von: Коба, О.В.
Veröffentlicht: (2005)

Построение модели дистанционного образования на основе системной методологии
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2002)

Оцінювання ризиків дефолту та реальних опціонів
von: Гончар, М.С., et al.
Veröffentlicht: (2009)

Оптимизация фрагмента телекоммуникационной сети
von: Сундучков, К.С.
Veröffentlicht: (2010)

Некоторые результаты компьютерного исследования базового алгоритма адаптивной идентификации
von: Одишария, Г.Б., et al.
Veröffentlicht: (2005)

Розробка математичної моделі пошуку раціонального варіанту навчання
von: Хохлов, В.Ю.
Veröffentlicht: (2005)

Requirements engineering for business stakeholders: applying quality views framework to software
von: Haigh, M.
Veröffentlicht: (2012)

Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем. Частина ІІ. Локальне та прогностичне оцінювання
von: Поліщук, Д.О., et al.
Veröffentlicht: (2015)

Структурний аналіз системи забезпечення екологічної та природно-техногенної безпеки України
von: Качинський, А.Б., et al.
Veröffentlicht: (2013)

Ймовірнісне прогнозування процесів ціноутворення на фондових ринках
von: Бідюк, П.І., et al.
Veröffentlicht: (2009)

Blockchain as a service for medical records
von: Petrenko, A., et al.
Veröffentlicht: (2017)

Energy security cost as an externality—increased gas import price and economy of Ukraine
von: Matsuki, Y., et al.
Veröffentlicht: (2012)

Автоматизована система керування технологічними комплексами з дискретним режимом роботи виконавчих механізмів в умовах господарств АПК
von: Діордієв, В.Т., et al.
Veröffentlicht: (2013)

Розробка нейромережевої інтелектуальної системи для прогнозування енергетичних центрів плямових зображень у процесах профілювання лазерного променя
von: Яровий, А.А., et al.
Veröffentlicht: (2012)