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

О структурних элементах компонентной сети Петри

Збережено в:

Бібліографічні деталі
Дата:	2015
Автор:	Lukyanova, E.A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/49
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

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

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

О алгоритме перевода документов msc в сети Петри
за авторством: Чугаенко, А.В., та інші
Опубліковано: (2008)

Реализация алгоритма преобразования неординарной сети Петри в ординарную
за авторством: Усатюк, О.В., та інші
Опубліковано: (2004)

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

Реализация автомата Мура на FPGA в виде сети Петри
за авторством: Баркалов, А.А., та інші
Опубліковано: (2006)

Методы вычисления потерь мощности в элементах несимметрично нагруженной сети
за авторством: Мирошник, A.A.
Опубліковано: (2011)

Исследование свойств документов MSC с помощью преобразования их в сети Петри
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

О примарных элементах в группах
за авторством: Шунков, В.П.
Опубліковано: (1991)

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

Алгоритм имитации Петри-объектной модели
за авторством: Стеценко, И.В.
Опубліковано: (2012)

О нервных элементах плавательного пузыря леща (Abramis brama L.)
за авторством: Бондаренко, Г.В.
Опубліковано: (1970)

Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)

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

Применение сетей Петри для анализа КС-грамматик
за авторством: Спекторский, И.Я.
Опубліковано: (2011)

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

Моделирование Grid-узла на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2009)

Динамическое моделирование предприятия на основе сетей Петри
за авторством: Лисецкий, Юрий Михайлович
Опубліковано: (2018)

Динамическое моделирование предприятия на основе сетей Петри
за авторством: Лисецкий, Ю.М.
Опубліковано: (2018)

О самородных элементах в различных геоформациях Крыма и сопредельных регионов
за авторством: Шнюков, Е.Ф., та інші
Опубліковано: (2011)

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

Моделирование температурных режымов в элементах микроэлектронных устройств
за авторством: Gavrysh, V. I., та інші
Опубліковано: (2011)

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

Применение аппарата сетей Петри для проектирования обобщенной многопользовательской системы
за авторством: Вороной, С.М., та інші
Опубліковано: (2013)

Моделирование работы узла grid-системы на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2008)

Моделирование температурных режимов в элементах микроэлектронных устройств
за авторством: Гаврыш, В.И., та інші
Опубліковано: (2011)

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

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

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

Взаємодія структурних елементів культуротворчого буття
за авторством: Федь, В.
Опубліковано: (2011)

Моделирование динамических взаимодействующих процессов с применением стохастических и нечетких сетей Петри
за авторством: Ахмедов, М.А., та інші
Опубліковано: (2013)

Динаміка структурних змін насаджень дендропарку “Тростянець”
за авторством: Ilyenko, A.A., та інші
Опубліковано: (2001)

Исследования термогазодинамических процессов в элементах энергоустановок и технологического оборудования
за авторством: Коваленко, Н.Д., та інші
Опубліковано: (2008)

Энергонезависимая память на элементах FLOTOX для БИС электронных карт
за авторством: Сидоренко, В.П., та інші
Опубліковано: (2002)

Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)

Оцінювання структурних змін у промисловості України
за авторством: Ущаповський, К.В.
Опубліковано: (2012)

СТОХАСТИЧНІ МАКРОМОДЕЛІ СТРУКТУРНИХ ТРАНСФОРМАЦІЙ ФІНАНСОВОГО РИНКУ
за авторством: Михальчинець, Г. Т.
Опубліковано: (2023)

Бюджетування структурних підрозділів гірничо-металургійного холдингу
за авторством: Колосок, В.
Опубліковано: (2012)

ОСОБЛИВОСТІ СТРУКТУРНИХ ЗМІН ЗАЙНЯТОСТІ В УКРАЇНІ
за авторством: Kliyanenko, B.T., та інші
Опубліковано: (2007)

ПОТЕРИ ОТ ВИХРЕВЫХ ТОКОВ В ЭЛЕМЕНТАХ КОНСТРУКЦИИ ТРЕХСТЕПЕННОЙ ЭЛЕКТРИЧЕСКОЙ МАШИНЫ
за авторством: Петухов, И.С.
Опубліковано: (2014)